ralf/style.scss

   1 ---
   2 hide: true
   3 ---
   4 @charset "utf-8";
   5
   6 /* Variables */
   7 $navi-width:      11em;
   8 $navi-indent:     1.2em;
   9 $frame-max-width: 50em;
  10 $intrusion-width: 1.0em;
  11 $outer-margin:    0.8em;
  12
  13 $small-width:      $frame-max-width + 2*$outer-margin;
  14 $medium-width:     $small-width + $intrusion-width + $navi-width;
  15
  16 $background-color:       white;
  17 $text-color:             #313131;
  18 $light-text-color:       #808080;
  19 $code-background-color:  #F7F7F7;
  20 $link-color:             #268BD2;
  21
  22 /* General Fonts */
  23 html, body, div, p {
  24     font-family: DejaVu Sans, Verdana, Arial, sans-serif;
  25     font-size: 12pt;
  26     color: $text-color;
  27 }
  28 /* Links */
  29 a {
  30     text-decoration: none;
  31     color: $link-color;
  32 }
  33 a:hover, a:focus {
  34     text-decoration: underline;
  35 }
  36 /* Header Size & Spacing */
  37 h1, h2, h3, h4 {
  38     color: $text-color;
  39
  40     a {
  41         color: $text-color;
  42     }
  43 }
  44 h1 {
  45     margin-top: 0.1em;
  46     font-size: 200%;
  47     margin-bottom: 0.2em;
  48 }
  49 h2 {
  50     margin-top: 0.5em;
  51     font-size: 150%;
  52     margin-bottom: 0.2em;
  53 }
  54 h3 {
  55     margin-top: 0.5em;
  56     font-size: 135%;
  57     margin-bottom: 0.1em;
  58 }
  59 h4 {
  60     margin-top: 0.5em;
  61     font-size: 120%;
  62     margin-bottom: 0.0em;
  63 }
  64
  65 /* Layout and Color stuff */
  66
  67 /* General page structure */
  68 html {
  69     overflow-y: scroll;
  70 }
  71 body { /* This centers us in the page, and handles the "too wide" case */
  72     padding: 0;
  73     margin: 0 auto;
  74     background-color: $background-color;
  75     max-width: calc(#{$medium-width + $navi-width} + 1px); /* add the right-hand "navi" space for centering - and the border... ;-) */
  76 }
  77 #-frame { /* Add a frame, full height */
  78     margin: 0 $navi-width;
  79     padding-top: $outer-margin;
  80     border-left: solid $text-color 1px;
  81     min-height: calc(100vh - #{$outer-margin});
  82 }
  83
  84 /* The content of the frame */
  85 #-content {
  86     margin-left: $intrusion-width;
  87     padding: $outer-margin;
  88     padding-top: 1px; /* If we use 0 here, some paddings add up things get ugly. What?!? */
  89 }
  90
  91 /* Navigation menu */
  92 #-navi {
  93     padding: 0;
  94     margin: 0;
  95     margin-left: -#{$navi-indent};
  96     width: #{$navi-width + $navi-indent};
  97     /* Put it into the right spot */
  98     float: left;
  99     position: relative;
 100     left: calc(-#{$navi-width} - 1px);
 101     /* Make it not take space away from the main text */
 102     height: 0;
 103     overflow: visible;
 104
 105     ul {
 106         margin: 0;
 107         padding: 0;
 108         list-style-type: none;
 109         /* Indentation for nested nodes */
 110         margin-left: $navi-indent;
 111     }
 112     a {
 113         display: block;
 114         width: calc(100% - 2*0.25em - 1px + #{$intrusion-width}); /* minus the padding, the border, and plus how much we want to overlap */
 115         padding: 0.08em 0.25em 0.02em; /* top left-right bottom */
 116         /* Always have *one* border, for the width to stay constant */
 117         border-left: solid transparent 1px;
 118
 119         font-size:110%;
 120         text-align: left;
 121     }
 122     a.current {
 123         padding-top: 0.12em;
 124         border: solid $text-color 1px;
 125         border-right: none; /* solid $background-color 1px; */
 126         background-color: $background-color;
 127     }
 128     a.root {
 129         margin-top: 0.7em;
 130         border-bottom: solid $text-color 1px;
 131         margin-bottom: 0.3em;
 132     }
 133 }
 134
 135 /* Medium-size screens */
 136 @media screen and (max-width:#{ $medium-width + $navi-width } ) {
 137     body {
 138         margin-left: 0;
 139         max-width: calc(#{ $medium-width} + 1px); /* add the left-hand *only* navi space for centering - and the border... ;-) */
 140     }
 141     #-frame {
 142         margin-right: 0;
 143     }
 144 }
 145
 146 /* Small screens */
 147 @media screen and (max-width:#{ $small-width } ) {
 148     html {
 149         overflow-y: auto;
 150     }
 151     body, #-frame, #-content, #-navi {
 152         margin: 0;
 153         padding: 0;
 154         height: auto;
 155         width: auto;
 156         max-width: none;
 157         clear: both;
 158         float: none;
 159         position: static;
 160     }
 161     #-content {
 162         padding: $outer-margin;
 163     }
 164     #-navi {
 165         padding: $outer-margin;
 166         border-bottom: solid $text-color 1px;
 167
 168         ul {
 169             display: inline;
 170             padding: 0;
 171             margin: 0;
 172         }
 173         li {
 174             display: inline-block;
 175         }
 176         /* Display only parent and children, and decorate them appropriately */
 177         a {
 178             display:inline-block;
 179             margin: 0 0.3em !important;
 180             padding: 0 !important;
 181             border: none !important;
 182             width: auto !important;
 183         }
 184         a.sibling {
 185             display:none;
 186         }
 187         a.current {
 188             text-decoration: underline;
 189         }
 190         li.parent::before, li.current:before {
 191             content: "»";
 192         }
 193         li.child::before {
 194             content: "»";
 195         }
 196         li.child + li.child::before {
 197             content: "|";
 198         }
 199     }
 200 }
 201
 202 /* Printing */
 203 @media print {
 204     body, #-frame, #-content {
 205         margin: 0;
 206         padding: 0;
 207         width: auto;
 208         max-width: none;
 209         border: none;
 210     }
 211     #-title h1 {
 212         border: none;
 213     }
 214     #-navi {
 215         display: none;
 216     }
 217 }
 218
 219 /* Content styling */
 220 #-content {
 221     .side {
 222         float: right;
 223         color: $light-text-color;
 224     }
 225
 226     .pretitle, .subtitle {
 227         h1 {
 228             display: inline-block;
 229             font-size: 165%;
 230         }
 231         .side {
 232             margin-left: 0.5em;
 233             margin-top: 0.8em;
 234         }
 235     }
 236     .pretitle {
 237         margin-bottom: 1em;
 238     }
 239     .subtitle {
 240         margin-top: 2em;
 241     }
 242     .title {
 243         clear: both;
 244         margin-bottom: 1em;
 245     }
 246
 247     pre, code {
 248         background-color: $code-background-color;
 249         font-family: monospace;
 250         font-size: 82%;
 251     }
 252     code {
 253         padding: 0.1em 0.2em;
 254     }
 255     pre {
 256         padding: 0.6em;
 257     }
 258     pre code {
 259         padding: 0;
 260         font-size: 100%;
 261     }
 262
 263     p {
 264         margin: 0.5em 0;
 265         line-height: 1.3;
 266     }
 267 }