@@ -30,24 +30,21 @@ Base from wpkelso: #33434eff
3030 -gtk-icon-transform : rotate (90deg );
3131}
3232
33- /* Ruthless way to make the options button flat */
34- .flat_menu_button .toggle {
35- outline : none;
36- border : none;
37- box-shadow : none;
38- background : none;
39- }
40-
41- /* Pretty coloured titlebar */
33+ /* Pretty coloured titlebar
4234.primary-background {
4335 background-color: #33434eff;
4436 color: #FFFFFF;
4537}
4638
4739.primary-background .button {
4840 background-color: @bg_color;
41+ }*/
42+
43+ .primary-background {
44+ border-bottom : 3px solid # 33434eff ;
4945}
5046
47+
5148/* Pretend the log textview is a console */
5249.console {
5350 background-color : # 002B36 ;
@@ -85,4 +82,26 @@ window.devel {
8582 border-style : solid;
8683 border-width : 3px ;
8784 border-color: @warning_color ;
88- }
85+ }
86+
87+ /* Used by LanguageItem and tracked by DDModel so we can have a heatmap of recently used languages*/
88+
89+ .accent-1 {
90+ color : mix (@accent_color , @fg_color , 0.27 );
91+ }
92+
93+ .accent-2 {
94+ color : mix (@accent_color , @fg_color , 0.22 );
95+ }
96+
97+ .accent-3 {
98+ color : mix (@accent_color , @fg_color , 0.17 );
99+ }
100+
101+ .accent-4 {
102+ color : mix (@accent_color , @fg_color , 0.12 );
103+ }
104+
105+ .accent-5 {
106+ color : mix (@accent_color , @fg_color , 0.07 );
107+ }
0 commit comments