personal/_sass/_base.scss

   1
   2 /* General Fonts */
   3 html, body, div, p {
   4     font-family: DejaVu Sans, Verdana, Arial, sans-serif;
   5     font-size: 12pt;
   6     color: $text-color;
   7 }
   8 /* Links */
   9 a {
  10     text-decoration: none;
  11     color: $link-color;
  12 }
  13 a:hover, a:focus {
  14     text-decoration: underline;
  15 }
  16 /* Header Size & Spacing */
  17 h1, h2, h3, h4 {
  18     color: $text-color;
  19
  20     a {
  21         color: $text-color;
  22     }
  23 }
  24 h1 {
  25     margin-top: 0.1em;
  26     font-size: 200%;
  27     margin-bottom: 0.2em;
  28 }
  29 h2 {
  30     margin-top: 0.5em;
  31     font-size: 150%;
  32     margin-bottom: 0.2em;
  33 }
  34 h3 {
  35     margin-top: 0.5em;
  36     font-size: 135%;
  37     margin-bottom: 0.1em;
  38 }
  39 h4 {
  40     margin-top: 0.5em;
  41     font-size: 120%;
  42     margin-bottom: 0.0em;
  43 }
  44
  45 /* Content styling */
  46 .side {
  47     float: right;
  48 }
  49
  50 .side, .comment {
  51     color: $light-text-color;
  52
  53     a {
  54         color: $light-link-color;
  55     }
  56 }
  57
  58
  59 .pretitle, .subtitle {
  60     h1 {
  61         display: inline-block;
  62         font-size: 165%;
  63     }
  64     .side {
  65         margin-left: 0.5em;
  66         margin-top: 0.8em;
  67     }
  68 }
  69 .pretitle {
  70     margin-bottom: 1em;
  71 }
  72 .subtitle {
  73     margin-top: 2em;
  74 }
  75 .title {
  76     clear: both;
  77     margin-bottom: 1em;
  78 }
  79
  80 figure {
  81     margin: 0;
  82 }
  83 pre, code {
  84     background-color: $code-background-color;
  85     font-family: monospace;
  86     font-size: 82%;
  87 }
  88 code {
  89     padding: 0.1em 0.2em;
  90 }
  91 pre {
  92     padding: 0.6em;
  93 }
  94 pre code {
  95     padding: 0;
  96     font-size: 100%;
  97 }
  98
  99 p {
 100     margin: 0.5em 0;
 101     line-height: 1.3;
 102 }
 103
 104 .comment {
 105     margin-top: 1.5em;
 106 }