From 045273f4d83e38988f7c182b8e96d032d27b90dc Mon Sep 17 00:00:00 2001 From: Horst3180 Date: Tue, 20 Sep 2016 00:04:22 +0200 Subject: [PATCH] remove unneeded pantheon terminal styling --- common/gtk-3.0/3.18/gtk-dark.css | 15 +++------------ common/gtk-3.0/3.18/gtk-darker.css | 15 +++------------ common/gtk-3.0/3.18/gtk-solid-dark.css | 15 +++------------ common/gtk-3.0/3.18/gtk-solid-darker.css | 15 +++------------ common/gtk-3.0/3.18/gtk-solid.css | 15 +++------------ common/gtk-3.0/3.18/gtk.css | 15 +++------------ common/gtk-3.0/3.18/sass/_applications.scss | 6 ++---- 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;