@@ -10,33 +10,86 @@ $menu_outer_border_radius: $base_border_radius * 1.25;
1010.menu  {
1111
1212  //  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+     }
1436
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+     }
2056  }
2157
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%  );
2573
26-     & :hover  { background-color  : $lightest_bg_color ; }
74+       & :hover  { background-color  : lighten ($bg_color , 15%  ); }
75+     }
2776  }
2877
29-   & -categories-box  { padding  : $menu_outer_padding  $base_padding  *  4 ; }
78+   & -categories-box  { padding  : $menu_outer_padding  $base_padding  *  3 ; }
3079  & -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  ; }
3583
3684  & -application-button  {
3785    @extend  %start_menu_button ;
3886
3987    & -label  { padding  : 0 ; }
88+     & -description  {
89+       @extend  %caption ;
90+ 
91+       color  : $light_text_color ;
92+     }
4093
4194    & :highlighted { font-weight : bold ; }
4295
@@ -73,22 +126,17 @@ $menu_outer_border_radius: $base_border_radius * 1.25;
73126
74127  & -context-menu  {}
75128
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- 
85129  & -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 ;
87133  }
88134}
89135
90136#menu-search-entry  {
91137  @extend  %entry ;
138+ 
139+   margin  : $menu_outer_padding ;
92140}
93141
94142.menu-search-entry-icon  {
0 commit comments