From 4b6c1d3f080bb36b96ffb25bbc8e843bfe3bf945 Mon Sep 17 00:00:00 2001
From: oobabooga <112222186+oobabooga@users.noreply.github.com>
Date: Wed, 2 Aug 2023 20:20:23 -0700
Subject: [PATCH] CSS change

---
 css/main.css | 4 ++++
 server.py    | 2 +-
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/css/main.css b/css/main.css
index b4066c91..d37e3f63 100644
--- a/css/main.css
+++ b/css/main.css
@@ -45,6 +45,10 @@
     min-height: 0
 }
 
+#save_session {
+    margin-top: 32px;
+}
+
 #accordion {
 }
 
diff --git a/server.py b/server.py
index b53d6a12..a0229995 100644
--- a/server.py
+++ b/server.py
@@ -826,7 +826,7 @@ def create_interface():
 
                 with gr.Column():
                     if not shared.args.multi_user:
-                        shared.gradio['save_session'] = gr.Button('Save session')
+                        shared.gradio['save_session'] = gr.Button('Save session', elem_id="save_session")
                         shared.gradio['load_session'] = gr.File(type='binary', file_types=['.json'], label="Upload Session JSON")
 
                     extension_name = gr.Textbox(lines=1, label='Install or update an extension', info='Enter the GitHub URL below and press Enter. For a list of extensions, see: https://github.com/oobabooga/text-generation-webui-extensions ⚠️  WARNING ⚠️ : extensions can execute arbitrary code. Make sure to inspect their source code before activating them.')