From 769942cdc368e4e48f82f7478aeee8bc3dd33b6d Mon Sep 17 00:00:00 2001 From: MrOtherGuy Date: Sun, 16 Dec 2018 04:42:46 +0200 Subject: [PATCH] formatting --- chrome/theme_additional_windows.css | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/chrome/theme_additional_windows.css b/chrome/theme_additional_windows.css index c44a92d..fb07649 100644 --- a/chrome/theme_additional_windows.css +++ b/chrome/theme_additional_windows.css @@ -1,3 +1,7 @@ +/* Color editing should generally be done in theme_color_variables.css */ + +/*!!! IMPORT theme_color_variables.css !!!*/ + /* Library window */ @-moz-document url(chrome://browser/content/places/places.xul){ :root{ background-color: var(--uc-light-bkgnd-color) !important;} @@ -23,6 +27,7 @@ #placesMenu > menu{ border: none !important; } #detailsDeck{ color: var(--uc-text-color) } } + /* Page-info window */ @-moz-document url(chrome://browser/content/pageinfo/pageInfo.xul){ #main-window, @@ -40,12 +45,10 @@ background-color: var(--uc-light-bkgnd-color) !important; color: var(--uc-text-color) !important; } - tree{ background: transparent !important; color: var(--uc-text-color) !important; } - treecol:not([hideheader]){ height: 24px; } treecol:hover{ filter: brightness(140%) } treechildren{ background-color: var(--uc-light-bkgnd-color) !important; }