Add text selection themning

Fixes #648
This commit is contained in:
Rafael Mardojai CM 2023-07-09 10:03:24 -05:00
parent c2466b9363
commit c4d7438ab7
No known key found for this signature in database
GPG Key ID: 2B2DAB2A58566C84
3 changed files with 7 additions and 0 deletions

View File

@ -12,6 +12,7 @@
/* Accent */ /* Accent */
--gnome-accent-bg: #3584e4; --gnome-accent-bg: #3584e4;
--gnome-accent: #78aeed; --gnome-accent: #78aeed;
--gnome-selection-bg: rgba(53, 132, 228, .25);
/* Toolbars */ /* Toolbars */
--gnome-toolbar-background: var(--gnome-headerbar-background); --gnome-toolbar-background: var(--gnome-headerbar-background);

View File

@ -11,6 +11,7 @@
/* Accent */ /* Accent */
--gnome-accent-bg: #3584e4; --gnome-accent-bg: #3584e4;
--gnome-accent: #1c71d8; --gnome-accent: #1c71d8;
--gnome-selection-bg: rgba(53, 132, 228, .45);
/* Toolbars */ /* Toolbars */
--gnome-toolbar-background: var(--gnome-headerbar-background); --gnome-toolbar-background: var(--gnome-headerbar-background);

View File

@ -147,6 +147,11 @@ findbar:-moz-window-inactive description,
color: var(--gnome-accent) !important; color: var(--gnome-accent) !important;
} }
/* Selection*/
*::-moz-selection {
background-color: var(--gnome-selection-bg) !important;
}
/* OPTIONAL: Hide WebRTC indicator */ /* OPTIONAL: Hide WebRTC indicator */
@supports -moz-bool-pref("gnomeTheme.hideWebrtcIndicator") { @supports -moz-bool-pref("gnomeTheme.hideWebrtcIndicator") {
#webrtcIndicator { #webrtcIndicator {