posts: add link to reddit page, if it exists
[web.git] / ralf / _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 }