scrollbar size

This commit is contained in:
Harivansh Rathi 2025-12-14 23:06:35 -05:00
parent 88f59a3758
commit ebe32aa67a

View file

@ -2,6 +2,7 @@
Screen { Screen {
background: $surface; background: $surface;
scrollbar-size: 1 1;
} }
/* ─────────────────────────────────────────────────────────────────────────── */ /* ─────────────────────────────────────────────────────────────────────────── */
@ -31,6 +32,7 @@ Screen {
OptionList { OptionList {
scrollbar-gutter: stable; scrollbar-gutter: stable;
scrollbar-size: 1 1;
} }
OptionList:focus { OptionList:focus {
@ -92,6 +94,7 @@ OptionList > .option-list--option-highlighted {
height: 1fr; height: 1fr;
padding: 0 1; padding: 0 1;
overflow-y: auto; overflow-y: auto;
scrollbar-size: 1 1;
} }
#test-summary { #test-summary {
@ -133,6 +136,7 @@ OptionList > .option-list--option-highlighted {
border: solid $primary-muted; border: solid $primary-muted;
padding: 1; padding: 1;
scrollbar-gutter: stable; scrollbar-gutter: stable;
scrollbar-size: 1 1;
} }
#output:focus { #output:focus {
@ -142,4 +146,5 @@ OptionList > .option-list--option-highlighted {
RichLog { RichLog {
overflow-x: hidden; overflow-x: hidden;
text-wrap: wrap; text-wrap: wrap;
scrollbar-size: 1 1;
} }