From 27558b85afe499256511ea950b8415bb50921cd9 Mon Sep 17 00:00:00 2001 From: jeffser Date: Sun, 11 Aug 2024 14:23:30 -0600 Subject: [PATCH] Added top margin to model selector --- src/style.css | 3 +++ src/window.ui | 3 +++ 2 files changed, 6 insertions(+) diff --git a/src/style.css b/src/style.css index 47d0083..a10e535 100644 --- a/src/style.css +++ b/src/style.css @@ -24,3 +24,6 @@ .user_message:focus, .response_message:focus, .editing_message_textview:focus, .code_block:focus { box-shadow: 0 0 1px 2px mix(@accent_color, @window_bg_color, 0.5); } +.model_popover { + margin-top: 6px; +} diff --git a/src/window.ui b/src/window.ui index 07bcd7a..af0f64f 100644 --- a/src/window.ui +++ b/src/window.ui @@ -100,6 +100,9 @@ + false