diff --git a/src/ace/theme/Clouds.js b/src/ace/theme/Clouds.js
index fb079b87..ca6ae73b 100644
--- a/src/ace/theme/Clouds.js
+++ b/src/ace/theme/Clouds.js
@@ -22,7 +22,7 @@ require.def("ace/theme/Clouds",
 }\
 \
 .ace-clouds .ace_gutter-layer .ace_gutter-cell {\
-  padding-right: 15px;\
+  padding-right: 6px;\
 }\
 \
 .ace-clouds .ace_editor .ace_printMargin {\
diff --git a/src/ace/theme/CloudsMidnight.js b/src/ace/theme/CloudsMidnight.js
index e2b1cfdd..f3c092c5 100644
--- a/src/ace/theme/CloudsMidnight.js
+++ b/src/ace/theme/CloudsMidnight.js
@@ -22,7 +22,7 @@ require.def("ace/theme/CloudsMidnight",
 }\
 \
 .ace-clouds-midnight .ace_gutter-layer .ace_gutter-cell {\
-  padding-right: 15px;\
+  padding-right: 6px;\
 }\
 \
 .ace-clouds-midnight .ace_editor .ace_printMargin {\
diff --git a/src/ace/theme/Cobalt.js b/src/ace/theme/Cobalt.js
index 893f85fb..ae177aad 100644
--- a/src/ace/theme/Cobalt.js
+++ b/src/ace/theme/Cobalt.js
@@ -22,7 +22,7 @@ require.def("ace/theme/Cobalt",
 }\
 \
 .ace-cobalt .ace_gutter-layer .ace_gutter-cell {\
-  padding-right: 15px;\
+  padding-right: 6px;\
 }\
 \
 .ace-cobalt .ace_editor .ace_printMargin {\
diff --git a/src/ace/theme/Dawn.js b/src/ace/theme/Dawn.js
index 73841545..e4c59257 100644
--- a/src/ace/theme/Dawn.js
+++ b/src/ace/theme/Dawn.js
@@ -22,7 +22,7 @@ require.def("ace/theme/Dawn",
 }\
 \
 .ace-dawn .ace_gutter-layer .ace_gutter-cell {\
-  padding-right: 15px;\
+  padding-right: 6px;\
 }\
 \
 .ace-dawn .ace_editor .ace_printMargin {\
diff --git a/src/ace/theme/IdleFingers.js b/src/ace/theme/IdleFingers.js
index 1fa9f1f7..48ca72f7 100644
--- a/src/ace/theme/IdleFingers.js
+++ b/src/ace/theme/IdleFingers.js
@@ -22,7 +22,7 @@ require.def("ace/theme/IdleFingers",
 }\
 \
 .ace-idle-fingers .ace_gutter-layer .ace_gutter-cell {\
-  padding-right: 15px;\
+  padding-right: 6px;\
 }\
 \
 .ace-idle-fingers .ace_editor .ace_printMargin {\
diff --git a/src/ace/theme/KrTheme.js b/src/ace/theme/KrTheme.js
index 08e2278c..e201c5bb 100644
--- a/src/ace/theme/KrTheme.js
+++ b/src/ace/theme/KrTheme.js
@@ -22,7 +22,7 @@ require.def("ace/theme/KrTheme",
 }\
 \
 .ace-kr-theme .ace_gutter-layer .ace_gutter-cell {\
-  padding-right: 15px;\
+  padding-right: 6px;\
 }\
 \
 .ace-kr-theme .ace_editor .ace_printMargin {\
diff --git a/src/ace/theme/MonoIndustrial.js b/src/ace/theme/MonoIndustrial.js
index e606ff0d..0a721576 100644
--- a/src/ace/theme/MonoIndustrial.js
+++ b/src/ace/theme/MonoIndustrial.js
@@ -22,7 +22,7 @@ require.def("ace/theme/MonoIndustrial",
 }\
 \
 .ace-mono-industrial .ace_gutter-layer .ace_gutter-cell {\
-  padding-right: 15px;\
+  padding-right: 6px;\
 }\
 \
 .ace-mono-industrial .ace_editor .ace_printMargin {\
diff --git a/src/ace/theme/Monokai.js b/src/ace/theme/Monokai.js
index 7a2b60d0..a992134c 100644
--- a/src/ace/theme/Monokai.js
+++ b/src/ace/theme/Monokai.js
@@ -22,7 +22,7 @@ require.def("ace/theme/Monokai",
 }\
 \
 .ace-monokai .ace_gutter-layer .ace_gutter-cell {\
-  padding-right: 15px;\
+  padding-right: 6px;\
 }\
 \
 .ace-monokai .ace_editor .ace_printMargin {\
diff --git a/src/ace/theme/Twilight.js b/src/ace/theme/Twilight.js
index 2b82c13b..61b9c6ac 100644
--- a/src/ace/theme/Twilight.js
+++ b/src/ace/theme/Twilight.js
@@ -22,7 +22,7 @@ require.def("ace/theme/Twilight",
 }\
 \
 .ace-twilight .ace_gutter-layer .ace_gutter-cell {\
-  padding-right: 15px;\
+  padding-right: 6px;\
 }\
 \
 .ace-twilight .ace_editor .ace_printMargin {\
diff --git a/src/ace/theme/tm.css b/src/ace/theme/tm.css
index 67224c07..0cf2d4dc 100644
--- a/src/ace/theme/tm.css
+++ b/src/ace/theme/tm.css
@@ -19,7 +19,7 @@
 }
 
 .ace-tm .ace_gutter-layer .ace_gutter-cell {
-  padding-right: 15px;
+  padding-right: 6px;
 }
 
 .ace-tm .ace_editor .ace_printMargin {
diff --git a/tool/Theme.tmpl.css b/tool/Theme.tmpl.css
index 8d67d46b..9d2c5107 100644
--- a/tool/Theme.tmpl.css
+++ b/tool/Theme.tmpl.css
@@ -19,7 +19,7 @@
 }
 
 .%cssClass% .ace_gutter-layer .ace_gutter-cell {
-  padding-right: 15px;
+  padding-right: 6px;
 }
 
 .%cssClass% .ace_editor .ace_printMargin {
diff --git a/tool/tmtheme.js b/tool/tmtheme.js
index 45db487f..934c4997 100644
--- a/tool/tmtheme.js
+++ b/tool/tmtheme.js
@@ -188,6 +188,7 @@ var themes = {
 }
 
 for (var name in themes) {
+    console.log("Converting " + name);
 	var tmTheme = fs.readFileSync(__dirname + "/tmthemes/" + themes[name] + ".tmTheme", "utf8");
 
 	var styles = extractStyles(parseTheme(tmTheme));