public/static/styles.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
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84

@font-face {
    font-family: 'Mono';
    src: url('/static/V1-ServerMono-Regular.woff2') format('woff2');
    font-weight: normal;
    font-style: normal;
}

.no-decorations {
    text-decoration: none;
}

code:not(pre > code) {
    background-color: #f0f0f0;
    padding: 0.2em 0.4em;
    border-radius: 3px;
}

blockquote {
    border-left: 2px solid #000000;
    padding-left: 10px;
}

hr {
   border: none; 
   border-top: 1px dashed black;
}

code {
    font-family: "Mono";
}

h1 {
    margin-bottom: 0;
    font-size: 1.8rem;
}

h2 {
    margin-bottom: 0;
    font-size: 1.5rem;
}

h3 {
    margin-bottom: 0;
    font-size: 1.2rem;
}

body {
    font-family: "Mono";
}

main {
    max-width: 70ch;
    margin-left: auto;
    margin-right: auto;
}

.nav ul {
    display: flex;
    list-style: none;
}

.nav ul li {
    margin-right: 20px;
}

.chroma {
    background-color: #f0f0f0 !important;
    margin: 1em;
    padding: 1em 1em 1em 1em;
    /* box-shadow: 2px 2px 2px rgba(68, 68, 68, 0.6); */
    border-radius: 4px;
    /* border: 2px solid black; */
    /*wrap lines in code blocks*/
    white-space: pre-wrap;
    /* Since CSS 2.1 */
    white-space: -moz-pre-wrap;
    /* Mozilla, since 1999 */
    white-space: -pre-wrap;
    /* Opera 4-6 */
    white-space: -o-pre-wrap;
    /* Opera 7 */
    word-wrap: break-word;
    /* Internet Explorer 5.5+ */
}