|
|
|
@ -2717,7 +2717,7 @@ GtkVolumeButton.button { padding: 8px; }
|
|
|
|
|
// server-side decorations as used by mutter
|
|
|
|
|
&.ssd {
|
|
|
|
|
border-radius: if($darker=='false' and $variant=='light', 4px 4px 0 0, 3px 3px 0 0);
|
|
|
|
|
box-shadow: 0 0 0 1px if($darker=='true' or $variant == 'dark', darken($header_bg, 7%), $_wm_border);
|
|
|
|
|
box-shadow: 0 0 0 1px if($darker=='true' or $variant == 'dark', transparentize(black, 0.35), $_wm_border);
|
|
|
|
|
|
|
|
|
|
&.maximized { border-radius: 0; }
|
|
|
|
|
}
|
|
|
|
|