From 164877a0dcbfed41b7b496c807704b7efd693644 Mon Sep 17 00:00:00 2001 From: 23rd <23rd@vivaldi.net> Date: Wed, 15 Nov 2023 03:27:59 +0300 Subject: [PATCH] Moved out common default style entries from settings. --- ui/basic.style | 2 ++ ui/layers/layers.style | 10 ++++++++++ 2 files changed, 12 insertions(+) diff --git a/ui/basic.style b/ui/basic.style index 7bcdbed..a3e3dae 100644 --- a/ui/basic.style +++ b/ui/basic.style @@ -113,6 +113,8 @@ locationSize: size(320px, 240px); transparentPlaceholderSize: 4px; +defaultVerticalListSkip: 6px; + // floating badge colors roundedFg: radialFg; roundedBg: radialBg; // closest to #00000066 diff --git a/ui/layers/layers.style b/ui/layers/layers.style index ac4dee8..567b3f3 100644 --- a/ui/layers/layers.style +++ b/ui/layers/layers.style @@ -148,6 +148,7 @@ boxDividerLabel: FlatLabel(boxLabel) { textFg: windowSubTextFg; style: defaultTextStyle; } +defaultBoxDividerLabelPadding: margins(22px, 8px, 22px, 16px); boxLoadingAnimation: InfiniteRadialAnimation(defaultInfiniteRadialAnimation) { color: windowSubTextFg; @@ -159,6 +160,15 @@ boxDividerTop: icon {{ "box_divider_top", boxDividerFg }}; boxDividerBottom: icon {{ "box_divider_bottom", boxDividerFg }}; boxDividerHeight: 8px; +defaultSubsectionTitle: FlatLabel(defaultFlatLabel) { + style: TextStyle(semiboldTextStyle) { + font: font(boxFontSize semibold); + } + textFg: windowActiveTextFg; + minWidth: 240px; +} +defaultSubsectionTitlePadding: margins(22px, 7px, 10px, 9px); + separatePanelBorderCacheSize: 60px; separatePanelTitleHeight: 62px; separatePanelNoTitleHeight: 32px;