From c7954bbaa356746a70f6feebc7416c5ae10ff185 Mon Sep 17 00:00:00 2001 From: xp Date: Sun, 9 Aug 2026 13:24:24 -0700 Subject: [PATCH 1/3] Make the config headers sticky --- .editorconfig | 3 +++ ui/config/config.css | 3 +++ 2 files changed, 6 insertions(+) diff --git a/.editorconfig b/.editorconfig index 63eb570c6b6..316254871a1 100644 --- a/.editorconfig +++ b/.editorconfig @@ -16,3 +16,6 @@ quote_type = single [*.py] indent_size = 4 + +[*.css] +indent_size = 2 diff --git a/ui/config/config.css b/ui/config/config.css index 5130c393f1f..9efe84ad22c 100644 --- a/ui/config/config.css +++ b/ui/config/config.css @@ -73,6 +73,9 @@ html { grid-template-columns: repeat(1, auto 1fr); justify-items: left; align-items: center; + + position: sticky; + top: 0; } .overlay-header::before { From 89c0976b0b0626c0a69f3357d90cae2c783a43e1 Mon Sep 17 00:00:00 2001 From: xp Date: Sun, 9 Aug 2026 13:31:00 -0700 Subject: [PATCH 2/3] Lint/comment --- ui/config/config.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ui/config/config.css b/ui/config/config.css index 9efe84ad22c..ff1da7223d6 100644 --- a/ui/config/config.css +++ b/ui/config/config.css @@ -73,7 +73,7 @@ html { grid-template-columns: repeat(1, auto 1fr); justify-items: left; align-items: center; - + /* sticky top-level headers */ position: sticky; top: 0; } From 54723b60b44cded6726357db102615162631a29a Mon Sep 17 00:00:00 2001 From: xp Date: Sun, 9 Aug 2026 14:08:44 -0700 Subject: [PATCH 3/3] Fix lint --- ui/config/config.css | 1 + 1 file changed, 1 insertion(+) diff --git a/ui/config/config.css b/ui/config/config.css index ff1da7223d6..c3be5855772 100644 --- a/ui/config/config.css +++ b/ui/config/config.css @@ -73,6 +73,7 @@ html { grid-template-columns: repeat(1, auto 1fr); justify-items: left; align-items: center; + /* sticky top-level headers */ position: sticky; top: 0;