1@import 'util';
 2@import 'diff';
 3@import 'tables';
 4@import 'code';
 5@import 'colours';
 6
 7@media (prefers-color-scheme: dark) {
 8  html {
 9    background: #000;
10    color: $darkModeTextColour;
11  }
12
13  h2, h3 {
14    color: darken($darkModeHighlightColour, 20%);
15  }
16}
17
18body {
19  font-family: sans-serif;
20  font-size: 0.9rem;
21  tab-size: 4;
22}
23
24header {
25  border-bottom: solid 1px #ccc;
26}
27
28nav {
29  margin-top: 2rem;
30  border-bottom: solid 3px #ccc;
31
32  @media (prefers-color-scheme: dark) {
33    border-bottom-color: $darkModeHighlightColour;
34  }
35
36  a {
37    padding: 2px 0.75em;
38    color: #777;
39    font-size: 110%;
40
41    @media (prefers-color-scheme: dark) {
42      color: $darkModeHighlightColour;
43    }
44
45    &.active {
46      color: #000;
47      background-color: #ccc;
48
49      @media (prefers-color-scheme: dark) {
50        background: $darkModeHighlightColour;
51      }
52    }
53  }
54}
55
56main {
57  padding: 2rem;
58  margin: 0;
59  border-bottom: solid 3px #ccc;
60
61  @media (prefers-color-scheme: dark) {
62    border-bottom-color: $darkModeHighlightColour;
63  }
64}
65
66footer {
67  margin-top: 0.5em;
68  text-align: center;
69  font-size: 80%;
70  color: #ccc;
71
72  @media (prefers-color-scheme: dark) {
73    color: $darkModeTextColour;
74  }
75}
76
77a {
78  text-decoration: none;
79  color: blue;
80
81  @media (prefers-color-scheme: dark) {
82    color: darken($darkModeHighlightColour, 10%);
83  }
84
85  &.no-style {
86    color: inherit;
87
88    @media (prefers-color-scheme: dark) {
89      color: darken($darkModeHighlightColour, 10%);
90    }
91  }
92
93  &:hover {
94    text-decoration: underline;
95  }
96}