update app

app.py

@@ -469,7 +469,7 @@ with gr.Blocks(theme=orange_red_theme, css=css) as demo:
 
         with gr.Column(scale=3):
             gr.Markdown("## Output", elem_id="output-title")
-            output = gr.Textbox(label="Raw Output Stream", interactive=False, lines=14, show_copy_button=True)
+            output = gr.Textbox(label="Raw Output Stream", interactive=False, lines=12, show_copy_button=True)
             with gr.Accordion("(Result.md)", open=False):
                 markdown_output = gr.Markdown(label="(Result.Md)", latex_delimiters=[
                                 {"left": "$$", "right": "$$", "display": True},