by roundabout, Tuesday, 28 February 2017, 14:24:07 (1488291847), pushed by roundabout, Sunday, 11 May 2025, 13:22:05 (1746969725)
Author identity: nana-4 <hnmaigo@gmail.com>
9c7c148815e638cce1283f7e804dc36c32fbe4bd
src/gtk-3.0/3.20/gtk-compact.css
@@ -2891,23 +2891,20 @@ button.title label {
/************
* Terminix *
************/
button.image-button.session-new-button {
min-width: 28px; }
overlay > revealer.left > scrolledwindow.frame,
overlay > revealer.right > scrolledwindow.frame {
overlay > revealer.left > scrolledwindow.frame, overlay > revealer.right > scrolledwindow.frame {
border-style: none;
box-shadow: 0 14px 14px rgba(0, 0, 0, 0.25), 0 10px 5px rgba(0, 0, 0, 0.22); }
overlay > revealer.left > scrolledwindow.frame {
margin-right: 32px; }
overlay > revealer.right > scrolledwindow.frame {
margin-left: 32px; }
.terminix-session-sidebar {
background-image: image(#FAFAFA); }
/***********
* Eclipse *
***********/
@@ -2928,22 +2925,17 @@ window.background > widget > menubar {
color: #FFFFFF; }
window.background > widget > menubar:disabled {
color: rgba(255, 255, 255, 0.3); }
window.background > menu > menuitem > label:disabled {
color: rgba(0, 0, 0, 0.32); }
window.background > window.background > menu > separator {
color: rgba(0, 0, 0, 0.1); }
window.background > widget > separator,
window.background > widget > frame {
color: rgba(0, 0, 0, 0.2); }
window.background > widget > checkbutton > check,
window.background > widget > radiobutton > radio {
margin: 0;
padding: 0; }
window.background > window.background > menu > menuitem > radio:checked,
window.background > widget > radiobutton > radio:checked {
-gtk-icon-source: image(-gtk-recolor(url("assets/scalable/radio-checked-symbolic.svg")), -gtk-recolor(url("assets/scalable/radio-checked-symbolic.png")));
src/gtk-3.0/3.20/gtk-dark-compact.css
@@ -2891,23 +2891,20 @@ button.title label {
/************
* Terminix *
************/
button.image-button.session-new-button {
min-width: 28px; }
overlay > revealer.left > scrolledwindow.frame,
overlay > revealer.right > scrolledwindow.frame {
overlay > revealer.left > scrolledwindow.frame, overlay > revealer.right > scrolledwindow.frame {
border-style: none;
box-shadow: 0 14px 14px rgba(0, 0, 0, 0.25), 0 10px 5px rgba(0, 0, 0, 0.22); }
overlay > revealer.left > scrolledwindow.frame {
margin-right: 32px; }
overlay > revealer.right > scrolledwindow.frame {
margin-left: 32px; }
.terminix-session-sidebar {
background-image: image(#607D8B); }
/***********
* Eclipse *
***********/
@@ -2928,22 +2925,17 @@ window.background > widget > menubar {
color: #FFFFFF; }
window.background > widget > menubar:disabled {
color: rgba(255, 255, 255, 0.3); }
window.background > menu > menuitem > label:disabled {
color: rgba(255, 255, 255, 0.4); }
window.background > window.background > menu > separator {
color: rgba(0, 0, 0, 0.2); }
window.background > widget > separator,
window.background > widget > frame {
color: rgba(0, 0, 0, 0.2); }
window.background > widget > checkbutton > check,
window.background > widget > radiobutton > radio {
margin: 0;
padding: 0; }
window.background > window.background > menu > menuitem > radio:checked,
window.background > widget > radiobutton > radio:checked {
-gtk-icon-source: image(-gtk-recolor(url("assets/scalable/radio-checked-symbolic.svg")), -gtk-recolor(url("assets/scalable/radio-checked-symbolic.png")));
src/gtk-3.0/3.20/gtk-dark.css
@@ -2891,23 +2891,20 @@ button.title label {
/************
* Terminix *
************/
button.image-button.session-new-button {
min-width: 32px; }
overlay > revealer.left > scrolledwindow.frame,
overlay > revealer.right > scrolledwindow.frame {
overlay > revealer.left > scrolledwindow.frame, overlay > revealer.right > scrolledwindow.frame {
border-style: none;
box-shadow: 0 14px 14px rgba(0, 0, 0, 0.25), 0 10px 5px rgba(0, 0, 0, 0.22); }
overlay > revealer.left > scrolledwindow.frame {
margin-right: 32px; }
overlay > revealer.right > scrolledwindow.frame {
margin-left: 32px; }
.terminix-session-sidebar {
background-image: image(#607D8B); }
/***********
* Eclipse *
***********/
@@ -2928,22 +2925,17 @@ window.background > widget > menubar {
color: #FFFFFF; }
window.background > widget > menubar:disabled {
color: rgba(255, 255, 255, 0.3); }
window.background > menu > menuitem > label:disabled {
color: rgba(255, 255, 255, 0.4); }
window.background > window.background > menu > separator {
color: rgba(0, 0, 0, 0.2); }
window.background > widget > separator,
window.background > widget > frame {
color: rgba(0, 0, 0, 0.2); }
window.background > widget > checkbutton > check,
window.background > widget > radiobutton > radio {
margin: 0;
padding: 0; }
window.background > window.background > menu > menuitem > radio:checked,
window.background > widget > radiobutton > radio:checked {
-gtk-icon-source: image(-gtk-recolor(url("assets/scalable/radio-checked-symbolic.svg")), -gtk-recolor(url("assets/scalable/radio-checked-symbolic.png")));
src/gtk-3.0/3.20/gtk-light-compact.css
@@ -2891,23 +2891,20 @@ button.title label {
/************
* Terminix *
************/
button.image-button.session-new-button {
min-width: 28px; }
overlay > revealer.left > scrolledwindow.frame,
overlay > revealer.right > scrolledwindow.frame {
overlay > revealer.left > scrolledwindow.frame, overlay > revealer.right > scrolledwindow.frame {
border-style: none;
box-shadow: 0 14px 14px rgba(0, 0, 0, 0.25), 0 10px 5px rgba(0, 0, 0, 0.22); }
overlay > revealer.left > scrolledwindow.frame {
margin-right: 32px; }
overlay > revealer.right > scrolledwindow.frame {
margin-left: 32px; }
.terminix-session-sidebar {
background-image: image(#FAFAFA); }
/***********
* Eclipse *
***********/
@@ -2928,22 +2925,17 @@ window.background > widget > menubar {
color: rgba(0, 0, 0, 0.8); }
window.background > widget > menubar:disabled {
color: rgba(0, 0, 0, 0.24); }
window.background > menu > menuitem > label:disabled {
color: rgba(0, 0, 0, 0.32); }
window.background > window.background > menu > separator {
color: rgba(0, 0, 0, 0.1); }
window.background > widget > separator,
window.background > widget > frame {
color: rgba(0, 0, 0, 0.2); }
window.background > widget > checkbutton > check,
window.background > widget > radiobutton > radio {
margin: 0;
padding: 0; }
window.background > window.background > menu > menuitem > radio:checked,
window.background > widget > radiobutton > radio:checked {
-gtk-icon-source: image(-gtk-recolor(url("assets/scalable/radio-checked-symbolic.svg")), -gtk-recolor(url("assets/scalable/radio-checked-symbolic.png")));
src/gtk-3.0/3.20/gtk-light.css
@@ -2891,23 +2891,20 @@ button.title label {
/************
* Terminix *
************/
button.image-button.session-new-button {
min-width: 32px; }
overlay > revealer.left > scrolledwindow.frame,
overlay > revealer.right > scrolledwindow.frame {
overlay > revealer.left > scrolledwindow.frame, overlay > revealer.right > scrolledwindow.frame {
border-style: none;
box-shadow: 0 14px 14px rgba(0, 0, 0, 0.25), 0 10px 5px rgba(0, 0, 0, 0.22); }
overlay > revealer.left > scrolledwindow.frame {
margin-right: 32px; }
overlay > revealer.right > scrolledwindow.frame {
margin-left: 32px; }
.terminix-session-sidebar {
background-image: image(#FAFAFA); }
/***********
* Eclipse *
***********/
@@ -2928,22 +2925,17 @@ window.background > widget > menubar {
color: rgba(0, 0, 0, 0.8); }
window.background > widget > menubar:disabled {
color: rgba(0, 0, 0, 0.24); }
window.background > menu > menuitem > label:disabled {
color: rgba(0, 0, 0, 0.32); }
window.background > window.background > menu > separator {
color: rgba(0, 0, 0, 0.1); }
window.background > widget > separator,
window.background > widget > frame {
color: rgba(0, 0, 0, 0.2); }
window.background > widget > checkbutton > check,
window.background > widget > radiobutton > radio {
margin: 0;
padding: 0; }
window.background > window.background > menu > menuitem > radio:checked,
window.background > widget > radiobutton > radio:checked {
-gtk-icon-source: image(-gtk-recolor(url("assets/scalable/radio-checked-symbolic.svg")), -gtk-recolor(url("assets/scalable/radio-checked-symbolic.png")));
src/gtk-3.0/3.20/gtk.css
@@ -2891,23 +2891,20 @@ button.title label {
/************
* Terminix *
************/
button.image-button.session-new-button {
min-width: 32px; }
overlay > revealer.left > scrolledwindow.frame,
overlay > revealer.right > scrolledwindow.frame {
overlay > revealer.left > scrolledwindow.frame, overlay > revealer.right > scrolledwindow.frame {
border-style: none;
box-shadow: 0 14px 14px rgba(0, 0, 0, 0.25), 0 10px 5px rgba(0, 0, 0, 0.22); }
overlay > revealer.left > scrolledwindow.frame {
margin-right: 32px; }
overlay > revealer.right > scrolledwindow.frame {
margin-left: 32px; }
.terminix-session-sidebar {
background-image: image(#FAFAFA); }
/***********
* Eclipse *
***********/
@@ -2928,22 +2925,17 @@ window.background > widget > menubar {
color: #FFFFFF; }
window.background > widget > menubar:disabled {
color: rgba(255, 255, 255, 0.3); }
window.background > menu > menuitem > label:disabled {
color: rgba(0, 0, 0, 0.32); }
window.background > window.background > menu > separator {
color: rgba(0, 0, 0, 0.1); }
window.background > widget > separator,
window.background > widget > frame {
color: rgba(0, 0, 0, 0.2); }
window.background > widget > checkbutton > check,
window.background > widget > radiobutton > radio {
margin: 0;
padding: 0; }
window.background > window.background > menu > menuitem > radio:checked,
window.background > widget > radiobutton > radio:checked {
-gtk-icon-source: image(-gtk-recolor(url("assets/scalable/radio-checked-symbolic.svg")), -gtk-recolor(url("assets/scalable/radio-checked-symbolic.png")));
src/gtk-3.0/3.22/gtk-compact.css
@@ -2985,23 +2985,20 @@ button.title label {
/************
* Terminix *
************/
button.image-button.session-new-button {
min-width: 28px; }
overlay > revealer.left > scrolledwindow.frame,
overlay > revealer.right > scrolledwindow.frame {
overlay > revealer.left > scrolledwindow.frame, overlay > revealer.right > scrolledwindow.frame {
border-style: none;
box-shadow: 0 14px 14px rgba(0, 0, 0, 0.25), 0 10px 5px rgba(0, 0, 0, 0.22); }
overlay > revealer.left > scrolledwindow.frame {
margin-right: 32px; }
overlay > revealer.right > scrolledwindow.frame {
margin-left: 32px; }
.terminix-session-sidebar {
background-image: image(#FAFAFA); }
/***********
* Eclipse *
***********/
@@ -3022,22 +3019,17 @@ window.background > widget > menubar {
color: #FFFFFF; }
window.background > widget > menubar:disabled {
color: rgba(255, 255, 255, 0.3); }
window.background > menu > menuitem > label:disabled {
color: rgba(0, 0, 0, 0.32); }
window.background > window.background > menu > separator {
color: rgba(0, 0, 0, 0.1); }
window.background > widget > separator,
window.background > widget > frame {
color: rgba(0, 0, 0, 0.2); }
window.background > widget > checkbutton > check,
window.background > widget > radiobutton > radio {
margin: 0;
padding: 0; }
window.background > window.background > menu > menuitem > radio:checked,
window.background > widget > radiobutton > radio:checked {
-gtk-icon-source: image(-gtk-recolor(url("assets/scalable/radio-checked-symbolic.svg")), -gtk-recolor(url("assets/scalable/radio-checked-symbolic.png")));
src/gtk-3.0/3.22/gtk-dark-compact.css
@@ -2985,23 +2985,20 @@ button.title label {
/************
* Terminix *
************/
button.image-button.session-new-button {
min-width: 28px; }
overlay > revealer.left > scrolledwindow.frame,
overlay > revealer.right > scrolledwindow.frame {
overlay > revealer.left > scrolledwindow.frame, overlay > revealer.right > scrolledwindow.frame {
border-style: none;
box-shadow: 0 14px 14px rgba(0, 0, 0, 0.25), 0 10px 5px rgba(0, 0, 0, 0.22); }
overlay > revealer.left > scrolledwindow.frame {
margin-right: 32px; }
overlay > revealer.right > scrolledwindow.frame {
margin-left: 32px; }
.terminix-session-sidebar {
background-image: image(#607D8B); }
/***********
* Eclipse *
***********/
@@ -3022,22 +3019,17 @@ window.background > widget > menubar {
color: #FFFFFF; }
window.background > widget > menubar:disabled {
color: rgba(255, 255, 255, 0.3); }
window.background > menu > menuitem > label:disabled {
color: rgba(255, 255, 255, 0.4); }
window.background > window.background > menu > separator {
color: rgba(0, 0, 0, 0.2); }
window.background > widget > separator,
window.background > widget > frame {
color: rgba(0, 0, 0, 0.2); }
window.background > widget > checkbutton > check,
window.background > widget > radiobutton > radio {
margin: 0;
padding: 0; }
window.background > window.background > menu > menuitem > radio:checked,
window.background > widget > radiobutton > radio:checked {
-gtk-icon-source: image(-gtk-recolor(url("assets/scalable/radio-checked-symbolic.svg")), -gtk-recolor(url("assets/scalable/radio-checked-symbolic.png")));
src/gtk-3.0/3.22/gtk-dark.css
@@ -2985,23 +2985,20 @@ button.title label {
/************
* Terminix *
************/
button.image-button.session-new-button {
min-width: 32px; }
overlay > revealer.left > scrolledwindow.frame,
overlay > revealer.right > scrolledwindow.frame {
overlay > revealer.left > scrolledwindow.frame, overlay > revealer.right > scrolledwindow.frame {
border-style: none;
box-shadow: 0 14px 14px rgba(0, 0, 0, 0.25), 0 10px 5px rgba(0, 0, 0, 0.22); }
overlay > revealer.left > scrolledwindow.frame {
margin-right: 32px; }
overlay > revealer.right > scrolledwindow.frame {
margin-left: 32px; }
.terminix-session-sidebar {
background-image: image(#607D8B); }
/***********
* Eclipse *
***********/
@@ -3022,22 +3019,17 @@ window.background > widget > menubar {
color: #FFFFFF; }
window.background > widget > menubar:disabled {
color: rgba(255, 255, 255, 0.3); }
window.background > menu > menuitem > label:disabled {
color: rgba(255, 255, 255, 0.4); }
window.background > window.background > menu > separator {
color: rgba(0, 0, 0, 0.2); }
window.background > widget > separator,
window.background > widget > frame {
color: rgba(0, 0, 0, 0.2); }
window.background > widget > checkbutton > check,
window.background > widget > radiobutton > radio {
margin: 0;
padding: 0; }
window.background > window.background > menu > menuitem > radio:checked,
window.background > widget > radiobutton > radio:checked {
-gtk-icon-source: image(-gtk-recolor(url("assets/scalable/radio-checked-symbolic.svg")), -gtk-recolor(url("assets/scalable/radio-checked-symbolic.png")));
src/gtk-3.0/3.22/gtk-light-compact.css
@@ -2985,23 +2985,20 @@ button.title label {
/************
* Terminix *
************/
button.image-button.session-new-button {
min-width: 28px; }
overlay > revealer.left > scrolledwindow.frame,
overlay > revealer.right > scrolledwindow.frame {
overlay > revealer.left > scrolledwindow.frame, overlay > revealer.right > scrolledwindow.frame {
border-style: none;
box-shadow: 0 14px 14px rgba(0, 0, 0, 0.25), 0 10px 5px rgba(0, 0, 0, 0.22); }
overlay > revealer.left > scrolledwindow.frame {
margin-right: 32px; }
overlay > revealer.right > scrolledwindow.frame {
margin-left: 32px; }
.terminix-session-sidebar {
background-image: image(#FAFAFA); }
/***********
* Eclipse *
***********/
@@ -3022,22 +3019,17 @@ window.background > widget > menubar {
color: rgba(0, 0, 0, 0.8); }
window.background > widget > menubar:disabled {
color: rgba(0, 0, 0, 0.24); }
window.background > menu > menuitem > label:disabled {
color: rgba(0, 0, 0, 0.32); }
window.background > window.background > menu > separator {
color: rgba(0, 0, 0, 0.1); }
window.background > widget > separator,
window.background > widget > frame {
color: rgba(0, 0, 0, 0.2); }
window.background > widget > checkbutton > check,
window.background > widget > radiobutton > radio {
margin: 0;
padding: 0; }
window.background > window.background > menu > menuitem > radio:checked,
window.background > widget > radiobutton > radio:checked {
-gtk-icon-source: image(-gtk-recolor(url("assets/scalable/radio-checked-symbolic.svg")), -gtk-recolor(url("assets/scalable/radio-checked-symbolic.png")));
src/gtk-3.0/3.22/gtk-light.css
@@ -2985,23 +2985,20 @@ button.title label {
/************
* Terminix *
************/
button.image-button.session-new-button {
min-width: 32px; }
overlay > revealer.left > scrolledwindow.frame,
overlay > revealer.right > scrolledwindow.frame {
overlay > revealer.left > scrolledwindow.frame, overlay > revealer.right > scrolledwindow.frame {
border-style: none;
box-shadow: 0 14px 14px rgba(0, 0, 0, 0.25), 0 10px 5px rgba(0, 0, 0, 0.22); }
overlay > revealer.left > scrolledwindow.frame {
margin-right: 32px; }
overlay > revealer.right > scrolledwindow.frame {
margin-left: 32px; }
.terminix-session-sidebar {
background-image: image(#FAFAFA); }
/***********
* Eclipse *
***********/
@@ -3022,22 +3019,17 @@ window.background > widget > menubar {
color: rgba(0, 0, 0, 0.8); }
window.background > widget > menubar:disabled {
color: rgba(0, 0, 0, 0.24); }
window.background > menu > menuitem > label:disabled {
color: rgba(0, 0, 0, 0.32); }
window.background > window.background > menu > separator {
color: rgba(0, 0, 0, 0.1); }
window.background > widget > separator,
window.background > widget > frame {
color: rgba(0, 0, 0, 0.2); }
window.background > widget > checkbutton > check,
window.background > widget > radiobutton > radio {
margin: 0;
padding: 0; }
window.background > window.background > menu > menuitem > radio:checked,
window.background > widget > radiobutton > radio:checked {
-gtk-icon-source: image(-gtk-recolor(url("assets/scalable/radio-checked-symbolic.svg")), -gtk-recolor(url("assets/scalable/radio-checked-symbolic.png")));
src/gtk-3.0/3.22/gtk.css
@@ -2985,23 +2985,20 @@ button.title label {
/************
* Terminix *
************/
button.image-button.session-new-button {
min-width: 32px; }
overlay > revealer.left > scrolledwindow.frame,
overlay > revealer.right > scrolledwindow.frame {
overlay > revealer.left > scrolledwindow.frame, overlay > revealer.right > scrolledwindow.frame {
border-style: none;
box-shadow: 0 14px 14px rgba(0, 0, 0, 0.25), 0 10px 5px rgba(0, 0, 0, 0.22); }
overlay > revealer.left > scrolledwindow.frame {
margin-right: 32px; }
overlay > revealer.right > scrolledwindow.frame {
margin-left: 32px; }
.terminix-session-sidebar {
background-image: image(#FAFAFA); }
/***********
* Eclipse *
***********/
@@ -3022,22 +3019,17 @@ window.background > widget > menubar {
color: #FFFFFF; }
window.background > widget > menubar:disabled {
color: rgba(255, 255, 255, 0.3); }
window.background > menu > menuitem > label:disabled {
color: rgba(0, 0, 0, 0.32); }
window.background > window.background > menu > separator {
color: rgba(0, 0, 0, 0.1); }
window.background > widget > separator,
window.background > widget > frame {
color: rgba(0, 0, 0, 0.2); }
window.background > widget > checkbutton > check,
window.background > widget > radiobutton > radio {
margin: 0;
padding: 0; }
window.background > window.background > menu > menuitem > radio:checked,
window.background > widget > radiobutton > radio:checked {
-gtk-icon-source: image(-gtk-recolor(url("assets/scalable/radio-checked-symbolic.svg")), -gtk-recolor(url("assets/scalable/radio-checked-symbolic.png")));
src/gtk-3.0/3.22/sass/apps/_third-party.scss
@@ -1,24 +1,22 @@
/************
* Terminix *
************/
button.image-button.session-new-button { min-width: $medium_size - 4px; }
overlay > revealer.left > scrolledwindow.frame,
overlay > revealer.right > scrolledwindow.frame {
border-style: none;
box-shadow: $shadow_4;
}
overlay > revealer {
&.left > scrolledwindow.frame,
&.right > scrolledwindow.frame {
border-style: none;
box-shadow: $shadow_4;
}
overlay > revealer.left > scrolledwindow.frame {
margin-right: 32px;
}
&.left > scrolledwindow.frame { margin-right: 32px; }
overlay > revealer.right > scrolledwindow.frame {
margin-left: 32px;
&.right > scrolledwindow.frame { margin-left: 32px; }
}
.terminix-session-sidebar { background-image: image($lighter_bg_color); }
/***********
* Eclipse *
@@ -36,32 +34,34 @@ window.background > box.vertical > scrolledwindow > widget toolbar {
/***********
* Firefox *
***********/
window.background > widget > menubar {
color: $secondary_titlebar_fg_color;
window.background {
> widget > menubar {
color: $secondary_titlebar_fg_color;
&:hover { color: $titlebar_fg_color; }
&:hover { color: $titlebar_fg_color; }
&:disabled { color: $disabled_secondary_titlebar_fg_color; }
}
&:disabled { color: $disabled_secondary_titlebar_fg_color; }
}
window.background > menu > menuitem > label:disabled { color: $disabled_fg_color; }
> menu > menuitem > label:disabled { color: $disabled_fg_color; }
window.background > window.background > menu > separator { color: $border_color; }
> window.background > menu > separator { color: $border_color; }
window.background > widget > separator,
window.background > widget > frame { color: rgba(0, 0, 0, 0.2); }
> widget > separator,
> widget > frame { color: rgba(0, 0, 0, 0.2); }
window.background > widget > checkbutton > check,
window.background > widget > radiobutton > radio {
margin: 0;
padding: 0;
}
> widget > checkbutton > check,
> widget > radiobutton > radio {
margin: 0;
padding: 0;
}
window.background > window.background > menu > menuitem > radio:checked,
window.background > widget > radiobutton > radio:checked {
-gtk-icon-source: image(-gtk-recolor(url("assets/scalable/radio-checked-symbolic.svg")),
-gtk-recolor(url("assets/scalable/radio-checked-symbolic.png")));
border-image: none;
> window.background > menu > menuitem > radio:checked,
> widget > radiobutton > radio:checked {
-gtk-icon-source: image(-gtk-recolor(url("assets/scalable/radio-checked-symbolic.svg")),
-gtk-recolor(url("assets/scalable/radio-checked-symbolic.png")));
border-image: none;
}
}