Update styles

- Make fonts smaller
- Use margin-left for ul instead of left to avoid overlapping floats

diff --git a/data/global.css b/data/global.css
index b3a75d9e59dd2d6e2c0126333407e817438a47a6..c27137a163725a59c568f71f63cbb818e3d2b7a4 100644 (file)
--- a/data/global.css
+++ b/data/global.css
@@ -25,10 +25,12 @@ ul {
 
 /* Global styles */
 .content h1, h2 {
-       margin-top: 1em;
+       margin-top:    1.5em;
+       margin-bottom: 0.3em;
 }
 h3, h4, h5, h6 {
-       margin-top: 0.5em;
+       margin-top: 0.8em;
+       margin-bottom: 0.1em;
 }
 .quote {
        font-style: italic;
@@ -43,7 +45,7 @@ h3, h4, h5, h6 {
        content: '”';
 }
 ul {
-       left: 30px;
+       padding-left: 30px;
 }
 span.code {
        font-family: monospace;
@@ -67,9 +69,10 @@ body {
        margin-left: auto;
        margin-right: auto;
        font-family: 'DejaVu Sans Condensed', Arial, sans-serif;
+       font-size:   0.8em;
+       line-height: 1.5em;
        width: 850px;
        /* width: 80%; */
-
 }
 
 /* Header stuff */
@@ -201,6 +204,7 @@ body {
        z-index: 1;
        height: 62px;
        color: white;
+       font-size: 11pt;
        padding: 8px 10px 8px 10px;
        background-image: url("../images/dl-bg.png");
        border-radius: 10px;
@@ -231,7 +235,7 @@ body {
 
 /* Screnshots */
 .gallery {
-       left: 0px; /* override ul */
+       padding: 0px; /* override ul */
        margin: 20px;
        font-size: larger;
 }