From f71039ae69e9114732bf1cca8e79f8dd939ccbce Mon Sep 17 00:00:00 2001 From: CrazyRoka Date: Sun, 5 Dec 2021 21:43:39 +0200 Subject: [PATCH] Fixed styles on all themes --- util/gh-pages/index.html | 46 ++++++++++++++++++++++++++++++---------- 1 file changed, 35 insertions(+), 11 deletions(-) diff --git a/util/gh-pages/index.html b/util/gh-pages/index.html index e6ff7c370..f1e652d2a 100644 --- a/util/gh-pages/index.html +++ b/util/gh-pages/index.html @@ -25,14 +25,23 @@ Otherwise, have a great day =^.^= blockquote { font-size: 1em; } [ng\:cloak], [ng-cloak], [data-ng-cloak], [x-ng-cloak], .ng-cloak, .x-ng-cloak { display: none !important; } + .dropdown-menu { + color: var(--fg); + background: var(--theme-popup-bg); + border: 1px solid var(--theme-popup-border); + } + + .dropdown-menu .divider { + background-color: var(--theme-popup-border); + } + .dropdown-menu .checkbox { - width: 100%;; + width: 100%; display: block; padding: 3px 20px; clear: both; font-weight: 400; line-height: 1.42857143; - color: #333; white-space: nowrap; margin: 0; } @@ -44,14 +53,23 @@ Otherwise, have a great day =^.^= .dropdown-menu .checkbox input { position: relative; - margin: 0; + margin: 0 0.5rem 0; padding: 0; + vertical-align: middle; } .dropdown-menu .checkbox:hover { - color: #262626; - text-decoration: none; - background-color: #f5f5f5; + background-color: var(--theme-hover); + } + + div.panel div.panel-body button.dropdown-toggle { + background: var(--searchbar-bg); + color: var(--searchbar-fg); + border-color: var(--theme-popup-border); + } + + div.panel div.panel-body button.dropdown-toggle:hover { + box-shadow: 0 0 3px var(--searchbar-shadow-color); } .dropdown-toggle .badge { @@ -271,7 +289,7 @@ Otherwise, have a great day =^.^= - +
🖌
-
+

Clippy Lints

@@ -304,7 +322,8 @@ Otherwise, have a great day =^.^=
-
+
@@ -328,7 +347,8 @@ Otherwise, have a great day =^.^=
-
+
@@ -516,7 +536,11 @@ Otherwise, have a great day =^.^= }; $scope.groups = GROUPS_FILTER_DEFAULT; $scope.toggleDropdown = function (name, $event) { - $scope.selectedDropdown = name; + if (name === $scope.selectedDropdown && $event.path.find(x => x.tagName === 'BUTTON')) { + $scope.selectedDropdown = undefined; + } else { + $scope.selectedDropdown = name; + } $event.stopPropagation(); } $scope.toggleLevels = function (value) {