interface improvements

app.py

@@ -36,12 +36,8 @@ citation = """> **Citation:**
 
 
 joinus ="""
-### Join us:
-🌟TeamTonic🌟 is always making cool demos! Join our active builder's 🛠️community 👻  
-[![Join us on Discord](https://img.shields.io/discord/1109943800132010065?label=Discord&logo=discord&style=flat-square)](https://discord.gg/qdfnvSPcqP)  
-On 🤗Huggingface: [MultiTransformer](https://huggingface.co/MultiTransformer)  
-On 🌐Github: [Tonic-AI](https://github.com/tonic-ai) & contribute to🌟 [Build Tonic](https://git.tonic-ai.com/contribute)  
-🤗Big thanks to Yuvi Sharma and all the folks at huggingface for the community grant 🤗
+## Join us :
+🌟TeamTonic🌟 is always making cool demos! Join our active builder's 🛠️community 👻 [![Join us on Discord](https://img.shields.io/discord/1109943800132010065?label=Discord&logo=discord&style=flat-square)](https://discord.gg/qdfnvSPcqP) On 🤗Huggingface:[MultiTransformer](https://huggingface.co/MultiTransformer) On 🌐Github: [Tonic-AI](https://github.com/tonic-ai) & contribute to🌟 [MultiTonic](https://github.com/MultiTonic)🤗Big thanks to Yuvi Sharma and all the folks at huggingface for the community grant 🤗
 """
 
 # Build the initial system prompt
@@ -176,18 +172,22 @@ def main():
     with gr.Blocks() as demo:
         # Title and Model Description
         gr.Markdown("""# 🙋🏻‍♂️Welcome to 🌟Tonic's 🌕💉👨🏻‍🔬Moonshot Math""")
-        gr.Markdown(description)
-        gr.Markdown(joinus)        
+        with gr.Row:
+            with gr.Column:
+                gr.Markdown(description)
+            with gr.Column:
+                gr.Markdown(joinus)        
         with gr.Row():
             with gr.Column():
-                chat = gr.Chatbot(label="Chat History")
                 user_input = gr.Textbox(label="Your message or formal statement", lines=4)
                 informal = gr.Textbox(value=additional_info_prompt, label="Optional informal prefix")
                 max_tokens = gr.Slider(minimum=150, maximum=4096, value=2500, label="Max Tokens")
                 submit = gr.Button("Send")
             with gr.Column():
-                json_out = gr.JSON(label="Full Output")
-                code_out = gr.Code(label="Extracted Lean4 Code", language="python")
+                chat = gr.Chatbot(label="Chat History")
+                with gr.Accordion("Complete Output", open=False):
+                    json_out = gr.JSON(label="Full Output")
+                    code_out = gr.Code(label="Extracted Lean4 Code", language="python")
         state = gr.State([])
         # On submit, call chat_handler
         submit.click(chat_handler, [user_input, informal, max_tokens, state], [chat, json_out, code_out, state])