@@ -10,33 +10,86 @@ $menu_outer_border_radius: $base_border_radius * 1.25;
10
10
.menu {
11
11
12
12
// this can be used to color the entire menu background but we aren't using it here
13
- & -background {}
13
+ & -background {
14
+ // using this to override the default padding on menus so widgets can span edge
15
+ // to edge. The side effect is that some of our internal container widgets
16
+ // will need to have a border-radius added to them or the corners will poke out
17
+ // the edges of the menu.
18
+ .popup-menu-content { padding : 0 ; }
19
+ }
20
+
21
+ & -sidebar {
22
+ background-color : $base_color ;
23
+ border-radius : $menu_outer_border_radius 0 0 $menu_outer_border_radius ;
24
+ border-right-width : 1px ;
25
+ border-color : $borders_color ;
26
+
27
+ .sidebar-user-box {
28
+ padding-top : $menu_outer_padding ;
29
+ padding-bottom : $menu_outer_padding / 2 ;
30
+ }
31
+
32
+ St Scroll Bar St Button #vhandle {
33
+ // add some extra spacing at the top to align this with the separator
34
+ margin-top : $menu_outer_padding ;
35
+ }
14
36
15
- & -favorites-box {
16
- padding : $base_padding * 1.5 ;
17
- background-color : $light_bg_color ;
18
- border : 1px solid transparentize (black , 0.9 );
19
- border-radius : $base_border_radius ;
37
+ .menu-favorites-button {
38
+ @extend %start_menu_button ;
39
+
40
+ padding : 3px $base_padding 3px $base_padding ;
41
+ margin : 0 $menu_outer_padding 0 $menu_outer_padding ;
42
+
43
+ & :hover {
44
+ background-color : $lighter_bg_color ;
45
+ border-color : $borders_color ;
46
+ }
47
+ }
48
+
49
+ .popup-separator-menu-item {
50
+ -gradient-height : 1px ;
51
+ -gradient-start : lighten ($base_color , 5% );
52
+ -gradient-end : lighten ($base_color , 5% );
53
+ -margin-horizontal : 0 ;
54
+ height : 1px ;
55
+ }
20
56
}
21
57
22
- & -favorites-button {
23
- padding : $base_padding * 1.5 ;
24
- border-radius : $base_border_radius ;
58
+ & -bottom-box {
59
+ padding : $menu_outer_padding ;
60
+ border-radius : 0 0 $menu_outer_border_radius 0 ;
61
+ border-top-width : 1px ;
62
+ border-color : $borders_color ;
63
+ }
64
+
65
+ & -system-buttons-box {
66
+ spacing : 12px ;
67
+
68
+ .system-button {
69
+ padding : $base_padding * 1.5 ;
70
+ border : 1px solid $borders_color ;
71
+ border-radius : 9999px ;
72
+ background-color : lighten ($bg_color , 10% );
25
73
26
- & :hover { background-color : $lightest_bg_color ; }
74
+ & :hover { background-color : lighten ($bg_color , 15% ); }
75
+ }
27
76
}
28
77
29
- & -categories-box { padding : $menu_outer_padding $base_padding * 4 ; }
78
+ & -categories-box { padding : $menu_outer_padding $base_padding * 3 ; }
30
79
& -applications-box { padding : $menu_outer_padding ; }
31
- & -applications-inner-box {
32
- & :ltr { padding-left : $base_padding * 4 ; }
33
- & :rtl { padding-right : $base_padding * 4 ; }
34
- }
80
+ // This small amount of padding is needed to be able
81
+ // to resize the menu with the mouse
82
+ & -applications-scrollbox { padding-right : 3px ; }
35
83
36
84
& -application-button {
37
85
@extend %start_menu_button ;
38
86
39
87
& -label { padding : 0 ; }
88
+ & -description {
89
+ @extend %caption ;
90
+
91
+ color : $light_text_color ;
92
+ }
40
93
41
94
& :highlighted { font-weight : bold ; }
42
95
@@ -73,22 +126,17 @@ $menu_outer_border_radius: $base_border_radius * 1.25;
73
126
74
127
& -context-menu {}
75
128
76
- & -selected-app-box {
77
- padding-right : $base_padding * 4 ;
78
- padding-left : $base_padding * 4 ;
79
- text-align : right ;
80
- }
81
-
82
- & -selected-app-title { @extend %heading ; }
83
- & -selected-app-description { color : $insensitive_fg_color ; }
84
-
85
129
& -search-box {
86
- padding : 0 0 $base_padding $menu_outer_padding ;
130
+ padding : $base_padding $base_padding $base_padding $menu_outer_padding ;
131
+ border-bottom-width : 1px ;
132
+ border-color : $borders_color ;
87
133
}
88
134
}
89
135
90
136
#menu-search-entry {
91
137
@extend %entry ;
138
+
139
+ margin : $menu_outer_padding ;
92
140
}
93
141
94
142
.menu-search-entry-icon {
0 commit comments