X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/cf8145d8e8cb87e75171718c88355137d1a900ef..e0e9931774a96f62b086fb782aff86cd3cbbe6b4:/style.scss?ds=sidebyside

diff --git a/style.scss b/style.scss
index c01d011..2539cd0 100644
--- a/style.scss
+++ b/style.scss
@@ -3,16 +3,46 @@ hide: true
 ---
 @charset "utf-8";
 
+/* Variables */
+$navi-width:      11em;
+$navi-indent:     1.2em;
+$frame-max-width: 50em;
+$intrusion-width: 1.0em;
+$outer-margin:    0.8em;
+$full-content-width: $frame-max-width + $navi-width + 2*$outer-margin + $intrusion-width;
+
+$background-color:       white;
+$text-color:             #313131;
+$light-text-color:       #808080;
+$code-background-color:  #F7F7F7;
+$link-color:             #268BD2;
+
 /* General Fonts */
 html, body, div, p {
     font-family: DejaVu Sans, Verdana, Arial, sans-serif;
     font-size: 12pt;
+    color: $text-color;
+}
+/* Links */
+a {
+    text-decoration: none;
+    color: $link-color;
+}
+a:hover, a:focus {
+    text-decoration: underline;
 }
 /* Header Size & Spacing */
+h1, h2, h3, h4 {
+    color: $text-color;
+
+    a {
+        color: $text-color;
+    }
+}
 h1 {
     margin-top: 0.1em;
     font-size: 200%;
-    margin-bottom: 0.4em;
+    margin-bottom: 0.5em;
 }
 h2 {
     margin-top: 0.5em;
@@ -31,42 +61,26 @@ h4 {
 }
 
 /* Layout and Color stuff */
-$navi-width:      11em;
-$navi-indent:     1.2em;
-$frame-max-width: 50em;
-$intrusion-width: 1.0em;
-$outer-margin:    0.8em;
-$full-content-width: $frame-max-width + $navi-width + 2*$outer-margin + $intrusion-width;
-
-$background-color:       white;
-$text-color:             #313131;
-$light-text-color:       #808080;
-$code-background-color:  #F7F7F7;
-$link-color:             #268BD2;
 
 /* General page structure */
 body { /* This centers us in the page, and handles the "too wide" case */
     padding: 0;
     margin: 0 auto;
-    color: $text-color;
     background-color: $background-color;
     max-width: calc(#{$full-content-width + $navi-width} + 1px); /* add the right-hand "navi" for centering - and the border... ;-) */
 }
 #-frame { /* Add a frame, full height */
     margin: 0 $navi-width;
-    padding-top: 1em;
+    padding-top: $outer-margin;
     border-left: solid $text-color 1px;
-    min-height: calc(100vh);
+    min-height: calc(100vh - #{$outer-margin});
 }
 
 /* The content of the frame */
-#-title h1 {
-    margin: 0;
-}
 #-content {
     margin-left: $intrusion-width;
     padding: $outer-margin;
-    padding-top: 1px; /* If we use 0 here, things get ugly. What?!? */
+    padding-top: 1px; /* If we use 0 here, some paddings add up things get ugly. What?!? */
 }
 
 /* Navigation menu */
@@ -97,26 +111,20 @@ body { /* This centers us in the page, and handles the "too wide" case */
         /* Always have a border, for the width to stay constant */
         border: solid transparent 1px;
     
-        color: $link-color;
         font-size:110%;
-        text-decoration: none;
         text-align: left;
     }
     a.current {
-        padding-top: 0.1em;
-        margin:  0.05em 0;
+        padding: 0.05em 0.1em;
         border: solid $text-color 1px;
         border-right: solid $background-color 1px;
         background-color: $background-color;
     }
     a.root {
-        margin-top: 0.5em;
+        margin-top: 0.7em;
         border-bottom: solid $text-color 1px;
         margin-bottom: 0.3em;
     }
-    a:hover, a:focus {
-        text-decoration: underline;
-    }
 }
 
 /* Medium-size screens */
@@ -204,6 +212,8 @@ body { /* This centers us in the page, and handles the "too wide" case */
     }
 
     #-pretitle, .subtitle {
+        margin-bottom: 1em;
+
         h1 {
             display: inline-block;
             font-size: 165%;
@@ -214,7 +224,7 @@ body { /* This centers us in the page, and handles the "too wide" case */
         }
     }
     .subtitle {
-        margin-top: 1.5em;
+        margin-top: 2em;
     }
 
     #-title {
@@ -241,11 +251,4 @@ body { /* This centers us in the page, and handles the "too wide" case */
         margin: 0.5em 0;
         line-height: 1.3;
     }
-    a {
-        text-decoration: none;
-        color: $link-color;
-    }
-    a:hover, a:focus {
-        text-decoration: underline;
-    }
 }