make sure vertical scrollbar is always shown

[web.git] / style.scss

diff --git a/style.scss b/style.scss
index 53116bd449a3f8ba1c6f61775579ab41d5a16ef0..ab657879ae033ccb7de8af50242e0c7aade2db7e 100644 (file)
--- a/style.scss
+++ b/style.scss
@@ -44,7 +44,7 @@ h1, h2, h3, h4 {
 h1 {
     margin-top: 0.1em;
     font-size: 200%;
-    margin-bottom: 0.5em;
+    margin-bottom: 0.2em;
 }
 h2 {
     margin-top: 0.5em;
@@ -65,6 +65,9 @@ h4 {
 /* Layout and Color stuff */
 
 /* General page structure */
+html {
+    overflow-y: scroll;
+}
 body { /* This centers us in the page, and handles the "too wide" case */
     padding: 0;
     margin: 0 auto;
@@ -108,8 +111,8 @@ body { /* This centers us in the page, and handles the "too wide" case */
     }
     a {
         display: block;
-        width: calc(100% - 2*0.1em - 1px + #{$intrusion-width}); /* minus the padding, the border, and plus how much we want to overlap */
-        padding: 0.08em 0.1em 0.02em; /* top left-right bottom */
+        width: calc(100% - 2*0.25em - 1px + #{$intrusion-width}); /* minus the padding, the border, and plus how much we want to overlap */
+        padding: 0.08em 0.25em 0.02em; /* top left-right bottom */
         /* Always have *one* border, for the width to stay constant */
         border-left: solid transparent 1px;
     
@@ -142,7 +145,10 @@ body { /* This centers us in the page, and handles the "too wide" case */
 
 /* Small screens */
 @media screen and (max-width:#{ $small-width } ) {
-    body, #-frame, #-title, #-content, #-navi {
+    html {
+        overflow-y: auto;
+    }
+    body, #-frame, #-content, #-navi {
         margin: 0;
         padding: 0;
         height: auto;
@@ -195,7 +201,7 @@ body { /* This centers us in the page, and handles the "too wide" case */
 
 /* Printing */
 @media print {
-    body, #-frame, #-title, #-content {
+    body, #-frame, #-content {
         margin: 0;
         padding: 0;
         width: auto;
@@ -217,24 +223,25 @@ body { /* This centers us in the page, and handles the "too wide" case */
         color: $light-text-color;
     }
 
-    #-pretitle, .subtitle {
-        margin-bottom: 1em;
-
+    .pretitle, .subtitle {
         h1 {
             display: inline-block;
             font-size: 165%;
         }
         .side {
             margin-left: 0.5em;
-            margin-top: 0.9em;
+            margin-top: 0.8em;
         }
     }
+    .pretitle {
+        margin-bottom: 1em;
+    }
     .subtitle {
         margin-top: 2em;
     }
-
-    #-title {
+    .title {
         clear: both;
+        margin-bottom: 1em;
     }
 
     pre, code {