1@import 'colours';
 2
 3pre {
 4  height: 100%;
 5  width: 100%;
 6  margin: 0;
 7  overflow: auto;
 8  counter-reset: line;
 9
10  &.h2-first-line {
11    &::first-line {
12      font-family: sans-serif;
13      font-size: 1.5em;
14      font-weight: bold;
15    }
16  }
17
18  code {
19    counter-increment: line;
20
21    @media (prefers-color-scheme: dark) {
22      color: #abb2bf;
23    }
24
25    &::before {
26      content: counter(line);
27      display: inline-block;
28      width: 2em;
29      padding: 0 1em 0.3em 0;
30      margin-right: .5em;
31      color: $asideColour;
32      -webkit-user-select: none;
33    }
34  }
35}