web/style.css


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35

a {
  text-decoration: none;
  color: #4271ae;
}

body {
  font-family: 'DejaVu Sans Mono', monospace;
  margin: 40px auto;
  min-width: 80ch;
  max-width: 80ch;
  line-height: 1.5;
  font-size: 16px;
  background-color: #ffffff;
  color: #4d4d4c;
  padding: 0 10px;
  text-align: left;
  overflow-y: scroll;
}

pre {
  width: 80ch;
  padding: 15px;
  margin-left: auto;
  margin-right: auto;
  overflow: auto;
  overflow-y: hidden;
  font-size: 15.3px;
  background: #ffffff;
  border: 1px solid #c5c8c6;
}

code {
  background: #ffffff;
  color: #c82829
}