GTK3: Add specific styling for Eclipse

roundabout,
created on Sunday, 18 September 2016, 01:42:21 (1474162941), received on Sunday, 11 May 2025, 13:22:00 (1746969720)
Author identity: nana-4 <hnmaigo@gmail.com>

46391d2091f7926bd148f739d4b9ed372f511336

gtk-3.0/_apps.scss

@@ -730,6 +730,19 @@ overlay > revealer.right > scrolledwindow.frame {

                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .terminix-session-sidebar { background-image: image($lighter_bg_color); }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        /***********
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                         * Eclipse *
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                         ***********/
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background > box.vertical > scrolledwindow > widget toolbar {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          padding: 2px;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          separator,
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          button { margin: 2px; }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          button { border-radius: 2px; }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            /***********
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                             * Firefox *
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                             ***********/

gtk-3.0/gtk-dark.css

@@ -2891,6 +2891,17 @@ overlay > revealer.right > scrolledwindow.frame {

                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .terminix-session-sidebar {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              background-image: image(#607D8B); }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        /***********
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                         * Eclipse *
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                         ***********/
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background > box.vertical > scrolledwindow > widget toolbar {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          padding: 2px; }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          window.background > box.vertical > scrolledwindow > widget toolbar separator,
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          window.background > box.vertical > scrolledwindow > widget toolbar button {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            margin: 2px; }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          window.background > box.vertical > scrolledwindow > widget toolbar button {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            border-radius: 2px; }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            /***********
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                             * Firefox *
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                             ***********/

gtk-3.0/gtk-dark_laptop.css

@@ -2891,6 +2891,17 @@ overlay > revealer.right > scrolledwindow.frame {

                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .terminix-session-sidebar {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              background-image: image(#607D8B); }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        /***********
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                         * Eclipse *
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                         ***********/
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background > box.vertical > scrolledwindow > widget toolbar {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          padding: 2px; }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          window.background > box.vertical > scrolledwindow > widget toolbar separator,
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          window.background > box.vertical > scrolledwindow > widget toolbar button {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            margin: 2px; }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          window.background > box.vertical > scrolledwindow > widget toolbar button {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            border-radius: 2px; }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            /***********
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                             * Firefox *
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                             ***********/

gtk-3.0/gtk.css

@@ -2891,6 +2891,17 @@ overlay > revealer.right > scrolledwindow.frame {

                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .terminix-session-sidebar {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              background-image: image(#FAFAFA); }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        /***********
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                         * Eclipse *
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                         ***********/
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background > box.vertical > scrolledwindow > widget toolbar {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          padding: 2px; }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          window.background > box.vertical > scrolledwindow > widget toolbar separator,
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          window.background > box.vertical > scrolledwindow > widget toolbar button {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            margin: 2px; }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          window.background > box.vertical > scrolledwindow > widget toolbar button {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            border-radius: 2px; }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            /***********
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                             * Firefox *
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                             ***********/

gtk-3.0/gtk_laptop.css

@@ -2891,6 +2891,17 @@ overlay > revealer.right > scrolledwindow.frame {

                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .terminix-session-sidebar {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              background-image: image(#FAFAFA); }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        /***********
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                         * Eclipse *
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                         ***********/
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background > box.vertical > scrolledwindow > widget toolbar {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          padding: 2px; }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          window.background > box.vertical > scrolledwindow > widget toolbar separator,
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          window.background > box.vertical > scrolledwindow > widget toolbar button {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            margin: 2px; }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          window.background > box.vertical > scrolledwindow > widget toolbar button {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            border-radius: 2px; }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            /***********
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                             * Firefox *
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                             ***********/

Information

GTK3: Add specific styling for Eclipse

gtk-3.0/_apps.scss

@@ -730,6 +730,19 @@ overlay > revealer.right > scrolledwindow.frame {

gtk-3.0/gtk-dark.css

@@ -2891,6 +2891,17 @@ overlay > revealer.right > scrolledwindow.frame {

gtk-3.0/gtk-dark_laptop.css

@@ -2891,6 +2891,17 @@ overlay > revealer.right > scrolledwindow.frame {

gtk-3.0/gtk.css

@@ -2891,6 +2891,17 @@ overlay > revealer.right > scrolledwindow.frame {

gtk-3.0/gtk_laptop.css

@@ -2891,6 +2891,17 @@ overlay > revealer.right > scrolledwindow.frame {

Add comment