GTK3: Use semi-transparent border on textview border

by roundabout, Friday, 8 April 2016, 05:05:11 (1460091911), pushed by roundabout, Sunday, 11 May 2025, 13:21:55 (1746969715)

Author identity: nana4 <hnmaigo@gmail.com>

                                
                                
                                
                            
                                
                                    
                                        
                                            134  
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            135  
                                            textview border {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            136  
                                              background-color: $secondary_base_color;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        137 -
                                          background-image: image($bg_color); // HACK: the border node just draws background so, using a background-image to draw the border
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        137 +
                                          background-image: image($borders_color); // HACK: the border node just draws background so, using a background-image to draw the border
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            138  
                                              background-repeat: no-repeat;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            139  
                                              color: $tertiary_fg_color;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            140  
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                            
                                

                                
                                
                                
                            
                                
                                    
                                        
                                            95  
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            96  
                                            textview border {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            97  
                                              background-color: #3e515a;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        98 -
                                          background-image: image(#37474F);
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        98 +
                                          background-image: image(rgba(0, 0, 0, 0.2));
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            99  
                                              background-repeat: no-repeat;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            100  
                                              color: rgba(255, 255, 255, 0.6); }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            101  
                                              textview border.bottom {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                            
                                

                                
                                
                                
                            
                                
                                    
                                        
                                            95  
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            96  
                                            textview border {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            97  
                                              background-color: #f6f7f8;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        98 -
                                          background-image: image(#ECEFF1);
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        98 +
                                          background-image: image(rgba(0, 0, 0, 0.1));
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            99  
                                              background-repeat: no-repeat;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            100  
                                              color: rgba(0, 0, 0, 0.48); }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            101  
                                              textview border.bottom {