A fork of the Materia GTK theme.

Important information: Google announced that, from September 2026, Android devices will require ALL apps to be signed by Google, effectively leading to an iOS situation. Value your right to a computer that does what you want; do not tolerate this monopolistic practice! Contact me if you don't understand why it is bad. Click to learn more.

gnome-shell: Drop corner-ripple-{ltr,rtl}.svg assets

This was actually feasible only with CSS.

by roundabout, Wednesday, 22 November 2017, 12:36:34 (1511354194), pushed by roundabout, Sunday, 11 May 2025, 13:22:17 (1746969737)

Author identity: nana-4 <hnmaigo@gmail.com>

972fb05860b2df728731cdb9ff67b4b38ddaccab

src/gnome-shell/3.18/assets/corner-ripple-ltr.svg

@@ -1,3 +0,0 @@

                                
                                
                                
                            
                                
                                    
                                        
                                        <svg xmlns="http://www.w3.org/2000/svg" width="48" height="48" viewBox="0 0 48 48" fill="#FFFFFF" opacity="0.3">
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          <circle cx="0" cy="0" r="48"/>
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        </svg>
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                            
                                

src/gnome-shell/3.18/assets/corner-ripple-rtl.svg

@@ -1,3 +0,0 @@

                                
                                
                                
                            
                                
                                    
                                        
                                        <svg xmlns="http://www.w3.org/2000/svg" width="48" height="48" viewBox="0 0 48 48" fill="#FFFFFF" opacity="0.3">
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          <circle cx="48" cy="0" r="48"/>
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        </svg>
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                            
                                

src/gnome-shell/3.18/gnome-shell-compact.css

@@ -1503,12 +1503,15 @@ StScrollBar StButton#vhandle:active, StScrollBar StButton#hhandle:active {

                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .ripple-box {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              width: 48px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              height: 48px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: url("assets/corner-ripple-ltr.svg");
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-size: contain;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          border-radius: 0 0 48px 0;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-color: rgba(255, 255, 255, 0.3);
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: none;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-size: auto;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .ripple-box:rtl {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: url("assets/corner-ripple-rtl.svg");
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          border-radius: 0 0 0 48px;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: none;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .popup-menu-arrow {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                            
                                

src/gnome-shell/3.18/gnome-shell-dark-compact.css

@@ -1503,12 +1503,15 @@ StScrollBar StButton#vhandle:active, StScrollBar StButton#hhandle:active {

                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .ripple-box {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              width: 48px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              height: 48px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: url("assets/corner-ripple-ltr.svg");
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-size: contain;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          border-radius: 0 0 48px 0;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-color: rgba(255, 255, 255, 0.3);
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: none;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-size: auto;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .ripple-box:rtl {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: url("assets/corner-ripple-rtl.svg");
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          border-radius: 0 0 0 48px;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: none;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .popup-menu-arrow {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                            
                                

src/gnome-shell/3.18/gnome-shell-dark.css

@@ -1503,12 +1503,15 @@ StScrollBar StButton#vhandle:active, StScrollBar StButton#hhandle:active {

                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .ripple-box {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              width: 48px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              height: 48px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: url("assets/corner-ripple-ltr.svg");
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-size: contain;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          border-radius: 0 0 48px 0;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-color: rgba(255, 255, 255, 0.3);
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: none;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-size: auto;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .ripple-box:rtl {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: url("assets/corner-ripple-rtl.svg");
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          border-radius: 0 0 0 48px;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: none;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .popup-menu-arrow {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                            
                                

src/gnome-shell/3.18/gnome-shell-light-compact.css

@@ -1503,12 +1503,15 @@ StScrollBar StButton#vhandle:active, StScrollBar StButton#hhandle:active {

                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .ripple-box {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              width: 48px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              height: 48px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: url("assets/corner-ripple-ltr.svg");
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-size: contain;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          border-radius: 0 0 48px 0;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-color: rgba(255, 255, 255, 0.3);
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: none;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-size: auto;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .ripple-box:rtl {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: url("assets/corner-ripple-rtl.svg");
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          border-radius: 0 0 0 48px;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: none;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .popup-menu-arrow {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                            
                                

src/gnome-shell/3.18/gnome-shell-light.css

@@ -1503,12 +1503,15 @@ StScrollBar StButton#vhandle:active, StScrollBar StButton#hhandle:active {

                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .ripple-box {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              width: 48px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              height: 48px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: url("assets/corner-ripple-ltr.svg");
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-size: contain;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          border-radius: 0 0 48px 0;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-color: rgba(255, 255, 255, 0.3);
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: none;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-size: auto;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .ripple-box:rtl {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: url("assets/corner-ripple-rtl.svg");
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          border-radius: 0 0 0 48px;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: none;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .popup-menu-arrow {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                            
                                

src/gnome-shell/3.18/gnome-shell-theme.gresource.xml

@@ -38,8 +38,6 @@

                                
                                
                                
                            
                                
                                    
                                        
                                            
                                                <file>assets/checkbox.svg</file>
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                                <file>assets/checkbox-off.svg</file>
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                                <file>assets/close.svg</file>
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            <file>assets/corner-ripple-ltr.svg</file>
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            <file>assets/corner-ripple-rtl.svg</file>
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                                <file>assets/dash-placeholder.svg</file>
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                                <file>assets/more-results.svg</file>
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                                <file>assets/noise-texture.svg</file>
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                            
                                

src/gnome-shell/3.18/gnome-shell.css

@@ -1503,12 +1503,15 @@ StScrollBar StButton#vhandle:active, StScrollBar StButton#hhandle:active {

                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .ripple-box {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              width: 48px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              height: 48px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: url("assets/corner-ripple-ltr.svg");
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-size: contain;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          border-radius: 0 0 48px 0;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-color: rgba(255, 255, 255, 0.3);
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: none;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-size: auto;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .ripple-box:rtl {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: url("assets/corner-ripple-rtl.svg");
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          border-radius: 0 0 0 48px;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: none;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .popup-menu-arrow {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                            
                                

src/gnome-shell/3.18/sass/_common.scss

@@ -1248,12 +1248,15 @@ StScrollBar {

                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .ripple-box {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              width: 48px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              height: 48px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: url("assets/corner-ripple-ltr.svg");
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-size: contain;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          border-radius: 0 0 48px 0;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-color: $inverse_track_color;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: none;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-size: auto;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .ripple-box:rtl {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: url("assets/corner-ripple-rtl.svg");
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          border-radius: 0 0 0 48px;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: none;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            // not really top bar only
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                            
                                

src/gnome-shell/3.24/gnome-shell-compact.css

@@ -1545,12 +1545,15 @@ StScrollBar StButton#vhandle:active, StScrollBar StButton#hhandle:active {

                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .ripple-box {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              width: 48px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              height: 48px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: url("assets/corner-ripple-ltr.svg");
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-size: contain;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          border-radius: 0 0 48px 0;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-color: rgba(255, 255, 255, 0.3);
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: none;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-size: auto;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .ripple-box:rtl {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: url("assets/corner-ripple-rtl.svg");
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          border-radius: 0 0 0 48px;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: none;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .popup-menu-arrow {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                            
                                

src/gnome-shell/3.24/gnome-shell-dark-compact.css

@@ -1545,12 +1545,15 @@ StScrollBar StButton#vhandle:active, StScrollBar StButton#hhandle:active {

                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .ripple-box {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              width: 48px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              height: 48px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: url("assets/corner-ripple-ltr.svg");
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-size: contain;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          border-radius: 0 0 48px 0;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-color: rgba(255, 255, 255, 0.3);
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: none;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-size: auto;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .ripple-box:rtl {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: url("assets/corner-ripple-rtl.svg");
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          border-radius: 0 0 0 48px;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: none;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .popup-menu-arrow {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                            
                                

src/gnome-shell/3.24/gnome-shell-dark.css

@@ -1545,12 +1545,15 @@ StScrollBar StButton#vhandle:active, StScrollBar StButton#hhandle:active {

                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .ripple-box {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              width: 48px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              height: 48px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: url("assets/corner-ripple-ltr.svg");
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-size: contain;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          border-radius: 0 0 48px 0;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-color: rgba(255, 255, 255, 0.3);
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: none;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-size: auto;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .ripple-box:rtl {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: url("assets/corner-ripple-rtl.svg");
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          border-radius: 0 0 0 48px;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: none;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .popup-menu-arrow {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                            
                                

src/gnome-shell/3.24/gnome-shell-light-compact.css

@@ -1545,12 +1545,15 @@ StScrollBar StButton#vhandle:active, StScrollBar StButton#hhandle:active {

                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .ripple-box {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              width: 48px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              height: 48px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: url("assets/corner-ripple-ltr.svg");
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-size: contain;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          border-radius: 0 0 48px 0;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-color: rgba(255, 255, 255, 0.3);
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: none;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-size: auto;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .ripple-box:rtl {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: url("assets/corner-ripple-rtl.svg");
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          border-radius: 0 0 0 48px;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: none;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .popup-menu-arrow {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                            
                                

src/gnome-shell/3.24/gnome-shell-light.css

@@ -1545,12 +1545,15 @@ StScrollBar StButton#vhandle:active, StScrollBar StButton#hhandle:active {

                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .ripple-box {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              width: 48px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              height: 48px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: url("assets/corner-ripple-ltr.svg");
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-size: contain;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          border-radius: 0 0 48px 0;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-color: rgba(255, 255, 255, 0.3);
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: none;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-size: auto;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .ripple-box:rtl {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: url("assets/corner-ripple-rtl.svg");
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          border-radius: 0 0 0 48px;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: none;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .popup-menu-arrow {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                            
                                

src/gnome-shell/3.24/gnome-shell.css

@@ -1545,12 +1545,15 @@ StScrollBar StButton#vhandle:active, StScrollBar StButton#hhandle:active {

                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .ripple-box {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              width: 48px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              height: 48px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: url("assets/corner-ripple-ltr.svg");
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-size: contain;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          border-radius: 0 0 48px 0;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-color: rgba(255, 255, 255, 0.3);
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: none;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-size: auto;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .ripple-box:rtl {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: url("assets/corner-ripple-rtl.svg");
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          border-radius: 0 0 0 48px;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: none;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .popup-menu-arrow {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                            
                                

src/gnome-shell/3.24/sass/_common.scss

@@ -1263,12 +1263,15 @@ StScrollBar {

                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .ripple-box {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              width: 48px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              height: 48px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: url("assets/corner-ripple-ltr.svg");
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-size: contain;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          border-radius: 0 0 48px 0;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-color: $inverse_track_color;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: none;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-size: auto;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .ripple-box:rtl {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: url("assets/corner-ripple-rtl.svg");
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          border-radius: 0 0 0 48px;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: none;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            // not really top bar only
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                            
                                

src/gnome-shell/3.26/gnome-shell-compact.css

@@ -1573,12 +1573,15 @@ StScrollBar StButton#vhandle:active, StScrollBar StButton#hhandle:active {

                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .ripple-box {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              width: 48px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              height: 48px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: url("assets/corner-ripple-ltr.svg");
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-size: contain;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          border-radius: 0 0 48px 0;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-color: rgba(255, 255, 255, 0.3);
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: none;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-size: auto;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .ripple-box:rtl {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: url("assets/corner-ripple-rtl.svg");
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          border-radius: 0 0 0 48px;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: none;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .popup-menu-arrow {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                            
                                

src/gnome-shell/3.26/gnome-shell-dark-compact.css

@@ -1573,12 +1573,15 @@ StScrollBar StButton#vhandle:active, StScrollBar StButton#hhandle:active {

                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .ripple-box {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              width: 48px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              height: 48px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: url("assets/corner-ripple-ltr.svg");
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-size: contain;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          border-radius: 0 0 48px 0;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-color: rgba(255, 255, 255, 0.3);
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: none;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-size: auto;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .ripple-box:rtl {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: url("assets/corner-ripple-rtl.svg");
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          border-radius: 0 0 0 48px;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: none;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .popup-menu-arrow {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                            
                                

src/gnome-shell/3.26/gnome-shell-dark.css

@@ -1573,12 +1573,15 @@ StScrollBar StButton#vhandle:active, StScrollBar StButton#hhandle:active {

                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .ripple-box {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              width: 48px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              height: 48px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: url("assets/corner-ripple-ltr.svg");
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-size: contain;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          border-radius: 0 0 48px 0;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-color: rgba(255, 255, 255, 0.3);
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: none;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-size: auto;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .ripple-box:rtl {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: url("assets/corner-ripple-rtl.svg");
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          border-radius: 0 0 0 48px;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: none;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .popup-menu-arrow {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                            
                                

src/gnome-shell/3.26/gnome-shell-light-compact.css

@@ -1573,12 +1573,15 @@ StScrollBar StButton#vhandle:active, StScrollBar StButton#hhandle:active {

                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .ripple-box {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              width: 48px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              height: 48px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: url("assets/corner-ripple-ltr.svg");
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-size: contain;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          border-radius: 0 0 48px 0;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-color: rgba(255, 255, 255, 0.3);
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: none;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-size: auto;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .ripple-box:rtl {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: url("assets/corner-ripple-rtl.svg");
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          border-radius: 0 0 0 48px;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: none;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .popup-menu-arrow {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                            
                                

src/gnome-shell/3.26/gnome-shell-light.css

@@ -1573,12 +1573,15 @@ StScrollBar StButton#vhandle:active, StScrollBar StButton#hhandle:active {

                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .ripple-box {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              width: 48px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              height: 48px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: url("assets/corner-ripple-ltr.svg");
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-size: contain;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          border-radius: 0 0 48px 0;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-color: rgba(255, 255, 255, 0.3);
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: none;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-size: auto;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .ripple-box:rtl {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: url("assets/corner-ripple-rtl.svg");
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          border-radius: 0 0 0 48px;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: none;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .popup-menu-arrow {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                            
                                

src/gnome-shell/3.26/gnome-shell-theme.gresource.xml

@@ -38,8 +38,6 @@

                                
                                
                                
                            
                                
                                    
                                        
                                            
                                                <file>assets/checkbox.svg</file>
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                                <file>assets/checkbox-off.svg</file>
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                                <file>assets/close.svg</file>
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            <file>assets/corner-ripple-ltr.svg</file>
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            <file>assets/corner-ripple-rtl.svg</file>
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                                <file>assets/dash-placeholder.svg</file>
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                                <file>assets/more-results.svg</file>
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                                <file>assets/noise-texture.svg</file>
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                            
                                

src/gnome-shell/3.26/gnome-shell.css

@@ -1573,12 +1573,15 @@ StScrollBar StButton#vhandle:active, StScrollBar StButton#hhandle:active {

                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .ripple-box {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              width: 48px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              height: 48px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: url("assets/corner-ripple-ltr.svg");
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-size: contain;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          border-radius: 0 0 48px 0;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-color: rgba(255, 255, 255, 0.3);
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: none;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-size: auto;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .ripple-box:rtl {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: url("assets/corner-ripple-rtl.svg");
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          border-radius: 0 0 0 48px;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: none;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .popup-menu-arrow {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                            
                                

src/gnome-shell/3.26/sass/_common.scss

@@ -1277,12 +1277,15 @@ StScrollBar {

                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .ripple-box {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              width: 48px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              height: 48px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: url("assets/corner-ripple-ltr.svg");
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-size: contain;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          border-radius: 0 0 48px 0;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-color: $inverse_track_color;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: none;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-size: auto;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .ripple-box:rtl {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: url("assets/corner-ripple-rtl.svg");
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          border-radius: 0 0 0 48px;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          background-image: none;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            // not really top bar only