From 61126f4674f18aa91dc2dd78b1bd9ec7591328c7 Mon Sep 17 00:00:00 2001 From: oobabooga <112222186+oobabooga@users.noreply.github.com> Date: Wed, 19 Apr 2023 00:56:24 -0300 Subject: [PATCH] Change the button styles --- css/main.css | 3 +++ server.py | 6 +++--- 2 files changed, 6 insertions(+), 3 deletions(-) diff --git a/css/main.css b/css/main.css index de46bba4..e01c05a5 100644 --- a/css/main.css +++ b/css/main.css @@ -104,3 +104,6 @@ footer { display: none !important; } +button { + font-size: 14px !important; +} diff --git a/server.py b/server.py index d93d3fa4..8e3e7c74 100644 --- a/server.py +++ b/server.py @@ -513,7 +513,7 @@ def create_interface(): shared.gradio['textbox'] = gr.Textbox(label='Input') with gr.Row(): shared.gradio['Stop'] = gr.Button('Stop', elem_id='stop') - shared.gradio['Generate'] = gr.Button('Generate', elem_id='Generate') + shared.gradio['Generate'] = gr.Button('Generate', elem_id='Generate', variant='primary') shared.gradio['Continue'] = gr.Button('Continue') with gr.Row(): @@ -613,7 +613,7 @@ def create_interface(): with gr.Row(): with gr.Column(): with gr.Row(): - shared.gradio['Generate'] = gr.Button('Generate') + shared.gradio['Generate'] = gr.Button('Generate', variant='primary') shared.gradio['Stop'] = gr.Button('Stop') shared.gradio['Undo'] = gr.Button('Undo') shared.gradio['Regenerate'] = gr.Button('Regenerate') @@ -645,7 +645,7 @@ def create_interface(): shared.gradio['textbox'] = gr.Textbox(value=default_text, elem_classes="textbox_default", lines=27, label='Input') shared.gradio['max_new_tokens'] = gr.Slider(minimum=shared.settings['max_new_tokens_min'], maximum=shared.settings['max_new_tokens_max'], step=1, label='max_new_tokens', value=shared.settings['max_new_tokens']) with gr.Row(): - shared.gradio['Generate'] = gr.Button('Generate') + shared.gradio['Generate'] = gr.Button('Generate', variant='primary') shared.gradio['Stop'] = gr.Button('Stop') shared.gradio['Continue'] = gr.Button('Continue') shared.gradio['save_prompt'] = gr.Button('Save prompt')