papers update: add ICFP talk; add refinement paper
[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, .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
78 .comment {
79     margin-top: 1.5em;
80 }