by roundabout, Wednesday, 5 April 2017, 08:36:02 (1491381362), pushed by roundabout, Sunday, 11 May 2025, 13:22:08 (1746969728)
Author identity: nana-4 <hnmaigo@gmail.com>
db0b5d5d9f81d3821d4ab59258e4802f3a5c5ffb
src/gtk-3.0/3.20/gtk-compact.css
@@ -4197,7 +4197,17 @@ window.background:not(.csd) > widget > separator {
color: rgba(0, 0, 0, 0.2);
}
window.background:not(.csd) > * > menu {
window.background:not(.csd) > widget > scrollbar {
background-clip: border-box;
}
window.background:not(.csd) > widget > scrollbar,
window.background:not(.csd) > widget > frame > border {
border-color: rgba(0, 0, 0, 0.2);
}
window.background:not(.csd) > window > menu,
window.background:not(.csd) > menu > menu {
border: none;
}
src/gtk-3.0/3.20/gtk-dark-compact.css
@@ -4197,7 +4197,17 @@ window.background:not(.csd) > widget > separator {
color: rgba(0, 0, 0, 0.2);
}
window.background:not(.csd) > * > menu {
window.background:not(.csd) > widget > scrollbar {
background-clip: border-box;
}
window.background:not(.csd) > widget > scrollbar,
window.background:not(.csd) > widget > frame > border {
border-color: rgba(0, 0, 0, 0.2);
}
window.background:not(.csd) > window > menu,
window.background:not(.csd) > menu > menu {
border: none;
}
src/gtk-3.0/3.20/gtk-dark.css
@@ -4197,7 +4197,17 @@ window.background:not(.csd) > widget > separator {
color: rgba(0, 0, 0, 0.2);
}
window.background:not(.csd) > * > menu {
window.background:not(.csd) > widget > scrollbar {
background-clip: border-box;
}
window.background:not(.csd) > widget > scrollbar,
window.background:not(.csd) > widget > frame > border {
border-color: rgba(0, 0, 0, 0.2);
}
window.background:not(.csd) > window > menu,
window.background:not(.csd) > menu > menu {
border: none;
}
src/gtk-3.0/3.20/gtk-light-compact.css
@@ -4197,7 +4197,17 @@ window.background:not(.csd) > widget > separator {
color: rgba(0, 0, 0, 0.2);
}
window.background:not(.csd) > * > menu {
window.background:not(.csd) > widget > scrollbar {
background-clip: border-box;
}
window.background:not(.csd) > widget > scrollbar,
window.background:not(.csd) > widget > frame > border {
border-color: rgba(0, 0, 0, 0.2);
}
window.background:not(.csd) > window > menu,
window.background:not(.csd) > menu > menu {
border: none;
}
src/gtk-3.0/3.20/gtk-light.css
@@ -4197,7 +4197,17 @@ window.background:not(.csd) > widget > separator {
color: rgba(0, 0, 0, 0.2);
}
window.background:not(.csd) > * > menu {
window.background:not(.csd) > widget > scrollbar {
background-clip: border-box;
}
window.background:not(.csd) > widget > scrollbar,
window.background:not(.csd) > widget > frame > border {
border-color: rgba(0, 0, 0, 0.2);
}
window.background:not(.csd) > window > menu,
window.background:not(.csd) > menu > menu {
border: none;
}
src/gtk-3.0/3.20/gtk.css
@@ -4197,7 +4197,17 @@ window.background:not(.csd) > widget > separator {
color: rgba(0, 0, 0, 0.2);
}
window.background:not(.csd) > * > menu {
window.background:not(.csd) > widget > scrollbar {
background-clip: border-box;
}
window.background:not(.csd) > widget > scrollbar,
window.background:not(.csd) > widget > frame > border {
border-color: rgba(0, 0, 0, 0.2);
}
window.background:not(.csd) > window > menu,
window.background:not(.csd) > menu > menu {
border: none;
}
src/gtk-3.0/3.22/gtk-compact.css
@@ -4334,7 +4334,17 @@ window.background:not(.csd) > widget > separator {
color: rgba(0, 0, 0, 0.2);
}
window.background:not(.csd) > * > menu {
window.background:not(.csd) > widget > scrollbar {
background-clip: border-box;
}
window.background:not(.csd) > widget > scrollbar,
window.background:not(.csd) > widget > frame > border {
border-color: rgba(0, 0, 0, 0.2);
}
window.background:not(.csd) > window > menu,
window.background:not(.csd) > menu > menu {
border: none;
}
src/gtk-3.0/3.22/gtk-dark-compact.css
@@ -4334,7 +4334,17 @@ window.background:not(.csd) > widget > separator {
color: rgba(0, 0, 0, 0.2);
}
window.background:not(.csd) > * > menu {
window.background:not(.csd) > widget > scrollbar {
background-clip: border-box;
}
window.background:not(.csd) > widget > scrollbar,
window.background:not(.csd) > widget > frame > border {
border-color: rgba(0, 0, 0, 0.2);
}
window.background:not(.csd) > window > menu,
window.background:not(.csd) > menu > menu {
border: none;
}
src/gtk-3.0/3.22/gtk-dark.css
@@ -4334,7 +4334,17 @@ window.background:not(.csd) > widget > separator {
color: rgba(0, 0, 0, 0.2);
}
window.background:not(.csd) > * > menu {
window.background:not(.csd) > widget > scrollbar {
background-clip: border-box;
}
window.background:not(.csd) > widget > scrollbar,
window.background:not(.csd) > widget > frame > border {
border-color: rgba(0, 0, 0, 0.2);
}
window.background:not(.csd) > window > menu,
window.background:not(.csd) > menu > menu {
border: none;
}
src/gtk-3.0/3.22/gtk-light-compact.css
@@ -4334,7 +4334,17 @@ window.background:not(.csd) > widget > separator {
color: rgba(0, 0, 0, 0.2);
}
window.background:not(.csd) > * > menu {
window.background:not(.csd) > widget > scrollbar {
background-clip: border-box;
}
window.background:not(.csd) > widget > scrollbar,
window.background:not(.csd) > widget > frame > border {
border-color: rgba(0, 0, 0, 0.2);
}
window.background:not(.csd) > window > menu,
window.background:not(.csd) > menu > menu {
border: none;
}
src/gtk-3.0/3.22/gtk-light.css
@@ -4334,7 +4334,17 @@ window.background:not(.csd) > widget > separator {
color: rgba(0, 0, 0, 0.2);
}
window.background:not(.csd) > * > menu {
window.background:not(.csd) > widget > scrollbar {
background-clip: border-box;
}
window.background:not(.csd) > widget > scrollbar,
window.background:not(.csd) > widget > frame > border {
border-color: rgba(0, 0, 0, 0.2);
}
window.background:not(.csd) > window > menu,
window.background:not(.csd) > menu > menu {
border: none;
}
src/gtk-3.0/3.22/gtk.css
@@ -4334,7 +4334,17 @@ window.background:not(.csd) > widget > separator {
color: rgba(0, 0, 0, 0.2);
}
window.background:not(.csd) > * > menu {
window.background:not(.csd) > widget > scrollbar {
background-clip: border-box;
}
window.background:not(.csd) > widget > scrollbar,
window.background:not(.csd) > widget > frame > border {
border-color: rgba(0, 0, 0, 0.2);
}
window.background:not(.csd) > window > menu,
window.background:not(.csd) > menu > menu {
border: none;
}
src/gtk-3.0/3.22/sass/apps/_third-party.scss
@@ -35,12 +35,22 @@ window.background > box.vertical > scrolledwindow > widget toolbar {
/***********
* Firefox *
***********/
$firefox_border_color: scale-alpha($black, 0.2);
window.background:not(.csd) {
// for the bookmark toolbar's separators
> widget > separator { color: rgba(0, 0, 0, 0.2); }
> widget > separator { color: $firefox_border_color; }
// avoid black border
> widget > scrollbar { background-clip: border-box; }
// emphasize borders color
> widget > scrollbar,
> widget > frame > border { border-color: $firefox_border_color; }
// remove ugly border around the menus
> * > menu { border: none; }
> window > menu,
> menu > menu { border: none; }
// use 16px assets for hard-coded sizing
> window.background > menu > menuitem > check,
@@ -97,7 +107,7 @@ window.background:not(.csd) {
> window.background > menu > separator { color: $border_color; }
> widget > frame { color: rgba(0, 0, 0, 0.2); }
> widget > frame { color: $firefox_border_color; }
> widget > checkbutton > check,
> widget > radiobutton > radio {