CSS stuff

res/css/dark.css

@@ -31,8 +31,6 @@ h3 {
     color: #fff;
 }
 
-
-
 div.preview pre, div.project pre {
     background-color: #222;
     color: #ccc;
@@ -55,7 +53,14 @@ .header .pagetree .title {
     color: #fff
 }
 
+/*table td {
+    border: 1px solid black
+}*/
 
+
+/*table.skami {
+    border-color: #eeeeee
+}*/
 table.skami .semiused {
     color: #ccc;
     background-color: #444;
@@ -69,4 +74,4 @@ table.skami .unused {
 
 table {
     border-color: #fff
-}
+}

res/css/global.css

@@ -16,9 +16,30 @@ table.banner {
     color: #0F0F0F;
 }
 
+td.banner {
+    padding: 5px;
+}
+
+a.bannerlink {
+    color:  #0F0F0F;
+}
+
+a.bannerlink:hover {
+    text-decoration: underline;
+}
+
+pre.music {
+    font-size: 12pt;
+}
+
 div.page {
-    margin-left: 0.5em;
-    margin-right: 0.5em
+    min-width: 700px;
+    max-width: 1024px;
+    /*margin-left: 0.5em;
+    margin-right: 0.5em;*/
+    padding-left: 0.5em;
+    padding-right: 0.5em;
+    margin: auto
 }
 
 h1.inline {