aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--common/gtk-3.0/3.18/gtk-dark.css15
-rw-r--r--common/gtk-3.0/3.18/gtk-darker.css15
-rw-r--r--common/gtk-3.0/3.18/gtk-solid-dark.css15
-rw-r--r--common/gtk-3.0/3.18/gtk-solid-darker.css15
-rw-r--r--common/gtk-3.0/3.18/gtk-solid.css15
-rw-r--r--common/gtk-3.0/3.18/gtk.css15
-rw-r--r--common/gtk-3.0/3.18/sass/_applications.scss6
7 files changed, 20 insertions, 76 deletions
diff --git a/common/gtk-3.0/3.18/gtk-dark.css b/common/gtk-3.0/3.18/gtk-dark.css
index 1a02d0a..ee5dfa4 100644
--- a/common/gtk-3.0/3.18/gtk-dark.css
+++ b/common/gtk-3.0/3.18/gtk-dark.css
@@ -2686,23 +2686,14 @@ TerminalWindow .notebook tab.reorderable-page.top.active-page,
TerminalWindow .notebook tab.reorderable-page.top.active-page:hover,
TerminalWindow .notebook tab.top:active,
TerminalWindow .notebook tab.top.active-page,
-TerminalWindow .notebook tab.top.active-page:hover,
-PantheonTerminalPantheonTerminalWindow .notebook tab.reorderable-page.top:active,
-PantheonTerminalPantheonTerminalWindow .notebook tab.reorderable-page.top.active-page,
-PantheonTerminalPantheonTerminalWindow .notebook tab.reorderable-page.top.active-page:hover,
-PantheonTerminalPantheonTerminalWindow .notebook tab.top:active,
-PantheonTerminalPantheonTerminalWindow .notebook tab.top.active-page,
-PantheonTerminalPantheonTerminalWindow .notebook tab.top.active-page:hover {
+TerminalWindow .notebook tab.top.active-page:hover {
box-shadow: inset 0 1px #2b2e39, inset 0 -1px #2b2e39, inset 1px 0 #2b2e39, inset -1px 0 #2b2e39; }
-TerminalWindow .notebook tab.reorderable-page.top, TerminalWindow .notebook tab.top,
-PantheonTerminalPantheonTerminalWindow .notebook tab.reorderable-page.top,
-PantheonTerminalPantheonTerminalWindow .notebook tab.top {
+TerminalWindow .notebook tab.reorderable-page.top, TerminalWindow .notebook tab.top {
padding-top: 7px;
border-top-width: 3px; }
-TerminalWindow .notebook.header.top,
-PantheonTerminalPantheonTerminalWindow .notebook.header.top {
+TerminalWindow .notebook.header.top {
box-shadow: inset 0 1px #262a33, inset 0 -1px #2b2e39; }
GtkHTML {
diff --git a/common/gtk-3.0/3.18/gtk-darker.css b/common/gtk-3.0/3.18/gtk-darker.css
index b74d13c..029abc9 100644
--- a/common/gtk-3.0/3.18/gtk-darker.css
+++ b/common/gtk-3.0/3.18/gtk-darker.css
@@ -2689,23 +2689,14 @@ TerminalWindow .notebook tab.reorderable-page.top.active-page,
TerminalWindow .notebook tab.reorderable-page.top.active-page:hover,
TerminalWindow .notebook tab.top:active,
TerminalWindow .notebook tab.top.active-page,
-TerminalWindow .notebook tab.top.active-page:hover,
-PantheonTerminalPantheonTerminalWindow .notebook tab.reorderable-page.top:active,
-PantheonTerminalPantheonTerminalWindow .notebook tab.reorderable-page.top.active-page,
-PantheonTerminalPantheonTerminalWindow .notebook tab.reorderable-page.top.active-page:hover,
-PantheonTerminalPantheonTerminalWindow .notebook tab.top:active,
-PantheonTerminalPantheonTerminalWindow .notebook tab.top.active-page,
-PantheonTerminalPantheonTerminalWindow .notebook tab.top.active-page:hover {
+TerminalWindow .notebook tab.top.active-page:hover {
box-shadow: inset 0 1px #dcdfe3, inset 0 -1px #dcdfe3, inset 1px 0 #dcdfe3, inset -1px 0 #dcdfe3; }
-TerminalWindow .notebook tab.reorderable-page.top, TerminalWindow .notebook tab.top,
-PantheonTerminalPantheonTerminalWindow .notebook tab.reorderable-page.top,
-PantheonTerminalPantheonTerminalWindow .notebook tab.top {
+TerminalWindow .notebook tab.reorderable-page.top, TerminalWindow .notebook tab.top {
padding-top: 7px;
border-top-width: 3px; }
-TerminalWindow .notebook.header.top,
-PantheonTerminalPantheonTerminalWindow .notebook.header.top {
+TerminalWindow .notebook.header.top {
box-shadow: inset 0 1px #262a33, inset 0 -1px #dcdfe3; }
GtkHTML {
diff --git a/common/gtk-3.0/3.18/gtk-solid-dark.css b/common/gtk-3.0/3.18/gtk-solid-dark.css
index b94202a..dc16dbd 100644
--- a/common/gtk-3.0/3.18/gtk-solid-dark.css
+++ b/common/gtk-3.0/3.18/gtk-solid-dark.css
@@ -2686,23 +2686,14 @@ TerminalWindow .notebook tab.reorderable-page.top.active-page,
TerminalWindow .notebook tab.reorderable-page.top.active-page:hover,
TerminalWindow .notebook tab.top:active,
TerminalWindow .notebook tab.top.active-page,
-TerminalWindow .notebook tab.top.active-page:hover,
-PantheonTerminalPantheonTerminalWindow .notebook tab.reorderable-page.top:active,
-PantheonTerminalPantheonTerminalWindow .notebook tab.reorderable-page.top.active-page,
-PantheonTerminalPantheonTerminalWindow .notebook tab.reorderable-page.top.active-page:hover,
-PantheonTerminalPantheonTerminalWindow .notebook tab.top:active,
-PantheonTerminalPantheonTerminalWindow .notebook tab.top.active-page,
-PantheonTerminalPantheonTerminalWindow .notebook tab.top.active-page:hover {
+TerminalWindow .notebook tab.top.active-page:hover {
box-shadow: inset 0 1px #2b2e39, inset 0 -1px #2b2e39, inset 1px 0 #2b2e39, inset -1px 0 #2b2e39; }
-TerminalWindow .notebook tab.reorderable-page.top, TerminalWindow .notebook tab.top,
-PantheonTerminalPantheonTerminalWindow .notebook tab.reorderable-page.top,
-PantheonTerminalPantheonTerminalWindow .notebook tab.top {
+TerminalWindow .notebook tab.reorderable-page.top, TerminalWindow .notebook tab.top {
padding-top: 7px;
border-top-width: 3px; }
-TerminalWindow .notebook.header.top,
-PantheonTerminalPantheonTerminalWindow .notebook.header.top {
+TerminalWindow .notebook.header.top {
box-shadow: inset 0 1px #262a33, inset 0 -1px #2b2e39; }
GtkHTML {
diff --git a/common/gtk-3.0/3.18/gtk-solid-darker.css b/common/gtk-3.0/3.18/gtk-solid-darker.css
index 692bb97..380a19f 100644
--- a/common/gtk-3.0/3.18/gtk-solid-darker.css
+++ b/common/gtk-3.0/3.18/gtk-solid-darker.css
@@ -2689,23 +2689,14 @@ TerminalWindow .notebook tab.reorderable-page.top.active-page,
TerminalWindow .notebook tab.reorderable-page.top.active-page:hover,
TerminalWindow .notebook tab.top:active,
TerminalWindow .notebook tab.top.active-page,
-TerminalWindow .notebook tab.top.active-page:hover,
-PantheonTerminalPantheonTerminalWindow .notebook tab.reorderable-page.top:active,
-PantheonTerminalPantheonTerminalWindow .notebook tab.reorderable-page.top.active-page,
-PantheonTerminalPantheonTerminalWindow .notebook tab.reorderable-page.top.active-page:hover,
-PantheonTerminalPantheonTerminalWindow .notebook tab.top:active,
-PantheonTerminalPantheonTerminalWindow .notebook tab.top.active-page,
-PantheonTerminalPantheonTerminalWindow .notebook tab.top.active-page:hover {
+TerminalWindow .notebook tab.top.active-page:hover {
box-shadow: inset 0 1px #dcdfe3, inset 0 -1px #dcdfe3, inset 1px 0 #dcdfe3, inset -1px 0 #dcdfe3; }
-TerminalWindow .notebook tab.reorderable-page.top, TerminalWindow .notebook tab.top,
-PantheonTerminalPantheonTerminalWindow .notebook tab.reorderable-page.top,
-PantheonTerminalPantheonTerminalWindow .notebook tab.top {
+TerminalWindow .notebook tab.reorderable-page.top, TerminalWindow .notebook tab.top {
padding-top: 7px;
border-top-width: 3px; }
-TerminalWindow .notebook.header.top,
-PantheonTerminalPantheonTerminalWindow .notebook.header.top {
+TerminalWindow .notebook.header.top {
box-shadow: inset 0 1px #262a33, inset 0 -1px #dcdfe3; }
GtkHTML {
diff --git a/common/gtk-3.0/3.18/gtk-solid.css b/common/gtk-3.0/3.18/gtk-solid.css
index 196dc54..3130f7b 100644
--- a/common/gtk-3.0/3.18/gtk-solid.css
+++ b/common/gtk-3.0/3.18/gtk-solid.css
@@ -2693,23 +2693,14 @@ TerminalWindow .notebook tab.reorderable-page.top.active-page,
TerminalWindow .notebook tab.reorderable-page.top.active-page:hover,
TerminalWindow .notebook tab.top:active,
TerminalWindow .notebook tab.top.active-page,
-TerminalWindow .notebook tab.top.active-page:hover,
-PantheonTerminalPantheonTerminalWindow .notebook tab.reorderable-page.top:active,
-PantheonTerminalPantheonTerminalWindow .notebook tab.reorderable-page.top.active-page,
-PantheonTerminalPantheonTerminalWindow .notebook tab.reorderable-page.top.active-page:hover,
-PantheonTerminalPantheonTerminalWindow .notebook tab.top:active,
-PantheonTerminalPantheonTerminalWindow .notebook tab.top.active-page,
-PantheonTerminalPantheonTerminalWindow .notebook tab.top.active-page:hover {
+TerminalWindow .notebook tab.top.active-page:hover {
box-shadow: inset 0 1px #dcdfe3, inset 0 -1px #dcdfe3, inset 1px 0 #dcdfe3, inset -1px 0 #dcdfe3; }
-TerminalWindow .notebook tab.reorderable-page.top, TerminalWindow .notebook tab.top,
-PantheonTerminalPantheonTerminalWindow .notebook tab.reorderable-page.top,
-PantheonTerminalPantheonTerminalWindow .notebook tab.top {
+TerminalWindow .notebook tab.reorderable-page.top, TerminalWindow .notebook tab.top {
padding-top: 7px;
border-top-width: 3px; }
-TerminalWindow .notebook.header.top,
-PantheonTerminalPantheonTerminalWindow .notebook.header.top {
+TerminalWindow .notebook.header.top {
box-shadow: inset 0 1px #d4d5db, inset 0 -1px #dcdfe3; }
GtkHTML {
diff --git a/common/gtk-3.0/3.18/gtk.css b/common/gtk-3.0/3.18/gtk.css
index d236a8b..10108d5 100644
--- a/common/gtk-3.0/3.18/gtk.css
+++ b/common/gtk-3.0/3.18/gtk.css
@@ -2693,23 +2693,14 @@ TerminalWindow .notebook tab.reorderable-page.top.active-page,
TerminalWindow .notebook tab.reorderable-page.top.active-page:hover,
TerminalWindow .notebook tab.top:active,
TerminalWindow .notebook tab.top.active-page,
-TerminalWindow .notebook tab.top.active-page:hover,
-PantheonTerminalPantheonTerminalWindow .notebook tab.reorderable-page.top:active,
-PantheonTerminalPantheonTerminalWindow .notebook tab.reorderable-page.top.active-page,
-PantheonTerminalPantheonTerminalWindow .notebook tab.reorderable-page.top.active-page:hover,
-PantheonTerminalPantheonTerminalWindow .notebook tab.top:active,
-PantheonTerminalPantheonTerminalWindow .notebook tab.top.active-page,
-PantheonTerminalPantheonTerminalWindow .notebook tab.top.active-page:hover {
+TerminalWindow .notebook tab.top.active-page:hover {
box-shadow: inset 0 1px #dcdfe3, inset 0 -1px #dcdfe3, inset 1px 0 #dcdfe3, inset -1px 0 #dcdfe3; }
-TerminalWindow .notebook tab.reorderable-page.top, TerminalWindow .notebook tab.top,
-PantheonTerminalPantheonTerminalWindow .notebook tab.reorderable-page.top,
-PantheonTerminalPantheonTerminalWindow .notebook tab.top {
+TerminalWindow .notebook tab.reorderable-page.top, TerminalWindow .notebook tab.top {
padding-top: 7px;
border-top-width: 3px; }
-TerminalWindow .notebook.header.top,
-PantheonTerminalPantheonTerminalWindow .notebook.header.top {
+TerminalWindow .notebook.header.top {
box-shadow: inset 0 1px #d4d5db, inset 0 -1px #dcdfe3; }
GtkHTML {
diff --git a/common/gtk-3.0/3.18/sass/_applications.scss b/common/gtk-3.0/3.18/sass/_applications.scss
index fcc199d..ee28adc 100644
--- a/common/gtk-3.0/3.18/sass/_applications.scss
+++ b/common/gtk-3.0/3.18/sass/_applications.scss
@@ -5,8 +5,7 @@ GeditNotebook.notebook,
ScratchMainWindow .notebook,
EphyNotebook.notebook,
MidoriNotebook .notebook,
-TerminalWindow .notebook,
-PantheonTerminalPantheonTerminalWindow .notebook {
+TerminalWindow .notebook {
tab.reorderable-page.top, tab.top {
&:active, &.active-page, &.active-page:hover {
@@ -18,8 +17,7 @@ PantheonTerminalPantheonTerminalWindow .notebook {
}
}
-TerminalWindow .notebook,
-PantheonTerminalPantheonTerminalWindow .notebook {
+TerminalWindow .notebook {
tab.reorderable-page.top, tab.top {
padding-top: 7px;