diff --git a/index-dark.css b/index-dark.css
index 4980cfe..563c7a4 100644
--- a/index-dark.css
+++ b/index-dark.css
@@ -2,11 +2,22 @@
     --main-bg-color: #0d1116;
     --main-text-color: #f8f8f2;
     --headline-text-color: #8be9fd;
-    --button-border-color: #616469;
-    --input-border-color: #373b43;
+    --button-border-color: #505050;
+    --button-bg-color: #303030;
+    --button-bghover-color: #404040;
+    --input-border-color: #505050;
     --input-bg-color: #0c0e11;
     --link-color: #58a6ff;
+    --link-hover-color: #9b9bea;
     --header-bg-color: #161b22;
+    --help-bg-color: #000000;
+    --license-bg-color: #4b4a4a;
+    --license-border-color: black;
+    --sub-border-color: #383838;
+    --preview-bg-color: #989797;
+    --preview-border-color: #b5b3b3;
+    --dump-bg-color: #0c0e11;
+    --dump-border-color: #505050;
 }
 html, body {
     background-color: var(--main-bg-color);
@@ -26,14 +37,21 @@ textarea {
     border: 1px solid var(--input-border-color);
 }
 input[type="button"] {
-    background-color: var(--input-border-color);
+    background-color: var(--button-bg-color);
     color: var(--main-text-color);
     border: 1px solid var(--button-border-color);
 }
+input[type="button"]:hover {
+    background-color: var(--button-bghover-color);
+}
 ::-webkit-file-upload-button {
-    background-color: var(--input-border-color);
+    background-color: var(--button-bg-color);
     color: var(--main-text-color);
-    border: 1px solid var(--button-border-color);
+    border: 0px;
+    border-right: 1px solid var(--button-border-color);
+}
+::-webkit-file-upload-button:hover {
+    background-color: var(--button-bghover-color);
 }
 select {
     background-color: var(--input-bg-color);
@@ -50,7 +68,7 @@ header {
     padding-left: 16px;
 }
 #help {
-    background-color: black;
+    background-color: var(--help-bg-color);
     margin: 0px;
     padding: 4px;
     padding-left: 20px;
@@ -66,8 +84,8 @@ header {
     position: absolute;
     bottom: 0em;
     /*white-space: pre;*/
-    background-color: #4b4a4a;
-    border: solid 1px black;
+    background-color: var(--license-bg-color);
+    border: solid 1px var(--license-border-color);
     padding: 2px;
     margin-left: 15%;
     margin-right: 15%;
@@ -81,7 +99,7 @@ header {
 }
 .sub {
     padding-left: 1.5em;
-    border-left: solid 1px #383838;
+    border-left: solid 1px var(--sub-border-color);
 }
 .head {
     height: 1em;
@@ -92,7 +110,7 @@ header {
     font-weight: bold;
 }
 .node:hover > .head:hover, .node.hover > .head.hover {
-    color: rgb(155, 155, 234);
+    color: var(--link-hover-color);
 }
 .node.collapsed {
     font-style: italic;
@@ -109,7 +127,7 @@ header {
     z-index: 2;
     top: 1.2em;
     left: 0;
-    background-color: var(--input-border-color);
+    background-color: var(--button-bg-color);
     border: solid 1px var(--button-border-color);
     padding: 2px;
 }
@@ -118,12 +136,12 @@ header {
 }
 .preview {
     margin-left: 1em;
-    color: #b5b3b3;
+    color: var(--preview-border-color);
     font-weight: normal;
 }
 .preview > .oid {
     margin-left: 1em;
-    color: #989797;
+    color: var(--preview-bg-color);
     font-weight: normal;
 }
 .spaces {
@@ -137,8 +155,8 @@ header {
 }
 #dump {
     z-index: 1;
-    background-color: var(--input-bg-color);
-    border: solid 1px var(--input-border-color);
+    background-color: var(--dump-bg-color);
+    border: solid 1px var(--dump-border-color);
     font-family: monospace;
     white-space: pre;
     padding: 5px;
diff --git a/index.css b/index.css
index 23832a9..5520331 100644
--- a/index.css
+++ b/index.css
@@ -1,7 +1,55 @@
+:root {
+    --main-bg-color: #C0C0C0;
+    --main-text-color: #000000;
+    --headline-text-color: #8be9fd;
+    --button-border-color: #767676;
+    --button-bg-color: #efefef;
+    --button-bghover-color: #e5e5e5;
+    --input-border-color: #767676;
+    --input-bg-color: #ffffff;
+    --link-color: darkblue;
+    --link-hover-color: blue;
+    --header-bg-color: #999999;
+    --help-bg-color: #6e6e6e;
+    --license-bg-color: #D0D0D0;
+    --license-border-color: white;
+    --sub-border-color: #E0E0E0;
+    --preview-bg-color: #808080;
+    --preview-border-color: #505050;
+    --dump-bg-color: #C0C0C0;
+    --dump-border-color: #E0E0E0;
+}
 html, body {
-    background-color: #C0C0C0;
+    background-color: var(--main-bg-color);
+    color: var(--main-text-color);
     font-family: Arial, Helvetica, sans-serif;
     text-align: justify;
+    font-size: 10pt;
+    margin: 0px;
+}
+input[type="file"] {
+    border: 1px solid var(--button-border-color);
+}
+::-webkit-file-upload-button {
+    background-color: var(--button-bg-color);
+    color: var(--main-text-color);
+    border: 0px;
+    border-right: 1px solid var(--button-border-color);
+}
+::-webkit-file-upload-button:hover {
+    background-color: var(--button-bghover-color);
+}
+
+header {
+    background-color: var(--header-bg-color);
+    padding: 8px;
+    padding-left: 16px;
+}
+#help {
+    background-color: var(--help-bg-color);
+    margin: 0px;
+    padding: 4px;
+    padding-left: 20px;
 }
 .tt {
     font-family: monospace;
@@ -14,8 +62,8 @@ html, body {
     position: absolute;
     bottom: 0em;
     /*white-space: pre;*/
-    background-color: #D0D0D0;
-    border: solid 1px white;
+    background-color: var(--license-bg-color);
+    border: solid 1px var(--license-border-color);
     padding: 2px;
     margin-left: 15%;
     margin-right: 15%;
@@ -29,18 +77,18 @@ html, body {
 }
 .sub {
     padding-left: 1.5em;
-    border-left: solid 1px #E0E0E0;
+    border-left: solid 1px var(--sub-border-color);
 }
 .head {
     height: 1em;
     white-space: nowrap;
 }
 .node:hover > .head, .node.hover > .head {
-    color: darkblue;
+    color: var(--link-color);
     font-weight: bold;
 }
 .node:hover > .head:hover, .node.hover > .head.hover {
-    color: blue;
+    color: var(--link-hover-color);
 }
 .node.collapsed {
     font-style: italic;
@@ -57,8 +105,8 @@ html, body {
     z-index: 2;
     top: 1.2em;
     left: 0;
-    background-color: #D0D0D0;
-    border: solid 1px white;
+    background-color: var(--button-bg-color);
+    border: solid 1px var(--button-border-color);
     padding: 2px;
 }
 .head:hover + .value, .head.hover + .value {
@@ -66,12 +114,12 @@ html, body {
 }
 .preview {
     margin-left: 1em;
-    color: #505050;
+    color: var(--preview-border-color);
     font-weight: normal;
 }
 .preview > .oid {
     margin-left: 1em;
-    color: #808080;
+    color: var(--preview-bg-color);
     font-weight: normal;
 }
 .spaces {
@@ -85,11 +133,11 @@ html, body {
 }
 #dump {
     z-index: 1;
-    background-color: #C0C0C0;
-    border: solid 1px #E0E0E0;
+    background-color: var(--dump-bg-color);
+    border: solid 1px var(--dump-border-color);
     font-family: monospace;
     white-space: pre;
-    padding: 2px;
+    padding: 5px;
 }
 #dump .tag             { color: blue; }
 #dump .dlen            { color: darkcyan; }
diff --git a/mirror_to_github.sh b/mirror_to_github.sh
index 63d886b..36d2171 100755
--- a/mirror_to_github.sh
+++ b/mirror_to_github.sh
@@ -9,7 +9,10 @@ if [ ! -d .git ]; then
 fi
 touch git-marks1.txt git-marks2.txt
 [ -f git-authors.txt ] || echo 'lapo@lapo.it = Lapo Luchini <lapo@lapo.it>' > git-authors.txt
-mtn ls branches --ignore-suspend-certs | sort -V | awk -F . '{ print $0 " = " ($4 ? $4 : "trunk") }' > git-branches.txt
+mtn ls branches --ignore-suspend-certs | sort -V | awk '
+  NR == 1 { base = $0; len = length(base) }
+  { d = length($0) - len; print $0 " = " (d > 0 ? substr($0, len+2) : "trunk") }
+' > git-branches.txt
 mtn --quiet --authors=git-authors.txt --branches-file=git-branches.txt --import-marks=git-marks1.txt --export-marks=git-marks1.txt git_export | \
     git fast-import --import-marks=git-marks2.txt --export-marks=git-marks2.txt
 git push --mirror origin