Gnome-Shell: shrink dash and add padding

2021-10-29 11:30:22 +02:00
parent ef238d26e5
commit 0fdf569b65
4 changed files with 9 additions and 0 deletions
@@ -328,6 +328,8 @@ $_osd_color: if($variant=='light', black, $fg_color);
  }
 }

+#dashtodockContainer { padding: $dash_padding; }
+
 /* App Folders */
 .app-well-app.app-folder {
  &, & .overview-icon.overview-icon-with-label {