update

app.py

@@ -31,7 +31,13 @@ def google_docs_embed(): #dummy
 #if __name__ == "__main__":
 #    demo.launch()
 
-with gr.Blocks() as demo:
+css = """ doc{
+            height: 500px;
+            width: 500px;
+            }
+"""
+
+with gr.Blocks(css=css) as demo:
   with gr.Row():
     text_editor = gr.Textbox(lines=20, interactive=True, )
     state = gr.State()
@@ -40,7 +46,7 @@ with gr.Blocks() as demo:
     b2 = gr.Button("Docs API")
   with gr.Row():
     #in_dummy = gr.Textbox(visible=False) #, value='dummy')
-    embed_docs = gr.HTML()
+    embed_docs = gr.HTML(elem_id = "doc")
     
   b1.click(fn=state_player, inputs=[text_editor,state], outputs=[text_editor,state])
   b2.click(google_docs_embed,outputs=embed_docs) #in_dummy