From b4fbb8963acb9b222620289d12002f77b590bca0 Mon Sep 17 00:00:00 2001 From: funman300 Date: Thu, 23 Apr 2026 10:30:21 -0700 Subject: [PATCH] wofi: polish style with better spacing, focus ring, and font --- wofi/style.css | 42 ++++++++++++++++++++++++++++++------------ 1 file changed, 30 insertions(+), 12 deletions(-) diff --git a/wofi/style.css b/wofi/style.css index 5abfdc0..4d1adcd 100644 --- a/wofi/style.css +++ b/wofi/style.css @@ -1,7 +1,12 @@ +* { + font-family: JetBrainsMono Nerd Font; + font-size: 14px; +} + window { - background-color: #1d1f21; - border: 2px solid #373b41; - border-radius: 8px; + background-color: rgba(29, 31, 33, 0.96); + border: 1px solid #373b41; + border-radius: 12px; color: #c5c8c6; } @@ -9,32 +14,40 @@ window { background-color: #282a2e; color: #c5c8c6; border: 1px solid #373b41; - border-radius: 4px; - padding: 6px 10px; - margin: 8px; + border-radius: 8px; + padding: 10px 14px; + margin: 12px 12px 6px 12px; outline: none; + font-size: 15px; + caret-color: #81a2be; +} + +#input:focus { + border-color: #81a2be; } #inner-box { - background-color: #1d1f21; + background-color: transparent; } #outer-box { - padding: 4px; + padding: 6px; } #scroll { - margin: 0 4px 4px 4px; + margin: 4px 6px 8px 6px; } #entry { - padding: 6px 10px; - border-radius: 4px; + padding: 8px 14px; + border-radius: 8px; + margin: 2px 0; + transition: all 150ms ease; } #entry:selected { background-color: #282a2e; - color: #81a2be; + border: 1px solid #81a2be; outline: none; } @@ -44,4 +57,9 @@ window { #text:selected { color: #81a2be; + font-weight: bold; +} + +#img { + margin-right: 8px; }