From aed77929fd68572bfba43161c989155c879823a2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Agust=C3=ADn=20Mista?= Date: Tue, 11 Jun 2024 20:14:02 +0200 Subject: [PATCH] Fix breaking changed from picocss v2 --- src/renderer/css/style.css | 16 ++++++++++++++-- 1 file changed, 14 insertions(+), 2 deletions(-) diff --git a/src/renderer/css/style.css b/src/renderer/css/style.css index 7ed3043..c84d3df 100644 --- a/src/renderer/css/style.css +++ b/src/renderer/css/style.css @@ -18,8 +18,14 @@ body nav { position: fixed; top: 0px; z-index: 10; - background-color: var(--card-background-color); - box-shadow: var(--card-box-shadow); + background-color: var(--pico-card-background-color); + box-shadow: var(--pico-card-box-shadow); +} + +/* Small gap between nav and content */ + +body div.container-fluid { + margin-top: 4em; } /* Smaller margins on shortcut cards */ @@ -30,6 +36,12 @@ details { padding-bottom: 0px; } +/* Full-width buttons */ + +button { + width: 100%; +} + /* Code area */ textarea {