From 516f991ae8b59d4e35fa5e17ecfed4cec0b2642e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Andreas=20Kr=C3=BChlmann?= Date: Tue, 13 Jan 2026 23:48:10 +0100 Subject: [PATCH] Add dev console button --- src/css/index.css | 9 ++++++--- src/index.html | 6 ++++++ src/main.js | 10 ++++++++++ src/preload.js | 1 + 4 files changed, 23 insertions(+), 3 deletions(-) diff --git a/src/css/index.css b/src/css/index.css index e445bd3..a64d8c8 100644 --- a/src/css/index.css +++ b/src/css/index.css @@ -5,6 +5,7 @@ :root { --window-frame-height: 36px; + --window-control-size: 28px; } p { @@ -64,15 +65,17 @@ body { } .window-control { - width: 30px; - height: 24px; + width: var(--window-control-size); + height: var(--window-control-size); padding: 0; border-radius: 6px; background: rgba(148, 163, 184, 0.2); border: 1px solid rgba(148, 163, 184, 0.25); color: #e2e8f0; - font-size: 16px; + font-size: 14px; line-height: 1; + display: grid; + place-items: center; box-shadow: none; } diff --git a/src/index.html b/src/index.html index 3f48019..a915866 100644 --- a/src/index.html +++ b/src/index.html @@ -12,6 +12,9 @@ +