themes: Set smaller Compact theme separator width...

for better consistency with the overall theme.

themes/Compact/Makefile.am

@@ -2,6 +2,6 @@
 
 themedatadir = $(gimpdatadir)/themes/Compact
 
-themedata_DATA = gimp.css gimp-dark.css
+themedata_DATA = gimp.css gimp-dark.css compact.css
 
 EXTRA_DIST = $(themedata_DATA)

themes/Compact/compact.css

@@ -0,0 +1,17 @@
+/* Set of common styles for the Compact theme for GIMP 3.0 */
+
+* {
+  -GimpToolPalette-tool-icon-size: small-toolbar;
+}
+
+toolpalette button {
+  padding: 0px;
+}
+
+button, tab {
+  padding: 0px;
+}
+
+paned separator {
+  padding: 1px;
+}

themes/Compact/gimp-dark.css

@@ -1,16 +1,4 @@
 /* Dark variant for the Compact theme for GIMP 3.0 */
 
 @import url("../Default/gimp-dark.css");
-
-* {
-  -GimpToolPalette-tool-icon-size: small-toolbar;
-}
-
-toolpalette button {
-  padding: 0px;
-}
-
-button, tab {
-  padding: 0px;
-}
-
+@import url("compact.css");

themes/Compact/gimp.css

@@ -1,15 +1,4 @@
 /* Light variant for the Compact theme for GIMP 3.0 */
 
 @import url("../Default/gimp.css");
-
-* {
-  -GimpToolPalette-tool-icon-size: small-toolbar;
-}
-
-toolpalette button {
-  padding: 0px;
-}
-
-button, tab {
-  padding: 0px;
-}
+@import url("compact.css");

themes/Compact/meson.build

@@ -1,3 +1,3 @@
-install_data([ 'gimp.css', 'gimp-dark.css' ],
+install_data([ 'gimp.css', 'gimp-dark.css', 'compact.css' ],
              install_dir: gimpdatadir / 'themes' / 'Compact')