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: 130%;
  37     margin-bottom: 0.1em;
  38 }
  39 h4 {
  40     margin-top: 0.5em;
  41     font-size: 110%;
  42     margin-bottom: 0.0em;
  43 }
  44
  45 /* Content styling */
  46 .side, .comment {
  47     color: $light-text-color;
  48
  49     a {
  50         color: $light-link-color;
  51     }
  52 }
  53
  54 figure {
  55     margin: 0;
  56 }
  57 pre, code {
  58     background-color: $code-background-color;
  59     font-family: monospace;
  60     font-size: 82%;
  61 }
  62 code {
  63     padding: 0.1em 0.2em;
  64 }
  65 pre {
  66     padding: 0.6em;
  67 }
  68 pre code {
  69     padding: 0;
  70     font-size: 100%;
  71 }
  72
  73 p {
  74     margin: 0.5em 0;
  75     line-height: 1.3;
  76 }
  77 li > p {
  78     margin: 0;
  79 }
  80
  81 .comment {
  82     margin-top: 1.5em;
  83 }
  84
  85 table td, table th {
  86     border: 1px solid $light-text-color;
  87     padding: 6px 13px;
  88     font-weight: normal;
  89 }