lib/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
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128

@import url("fonts/Inter-4.1/web/inter.css");

body {
    font-family: Inter, sans-serif;
    max-width: 50em;
    margin: auto;
    padding: 0 1em;
    background-color: #181818;
    color: white;
}

nav#top {
    background-color: black;
    border-radius: 0.25rem;
}

nav#top ul {
    display: flex;
    flex-wrap: wrap;
    list-style-type: none;
    padding: 0;
}

nav#top ul li {
    padding: 0.5em 0;
    border-radius: 0.25rem;
}

nav#top ul li a {
    color: white;
    text-decoration: none;
    padding: 0.5em 1em;
}

nav#top ul li a:hover {
    background-color: white;
    color: black;
}

nav#top ul li#active {
    border-radius: 0.25rem;
    background-color: rgb(194, 79, 30);
}

nav#top ul li#active a:hover {
    border-radius: 0.25rem;
    background-color: rgb(132, 40, 0);
    color: white;
}

div#main ul {
    padding-left: 0;
    list-style: none;
}

div#main ul li {
    border: 1px solid #303030;
}

div#main ul li a {
    display: block;
    color: white;
    text-decoration: none;
    padding: 0.5em;
}

div#main a:hover {
    background-color: white;
    color: black;
    text-decoration: revert;
}

h1 {
    /* position: sticky; */
    /* top: 0; */
    /* background: inherit; */
    padding: 0.5em 0;
}

.commit-hash {
    font-family: monospace;
}

#blob {
    display: grid;
    column-gap: 1.5em;
    row-gap: 0.2em;
    grid-template-columns: 3em auto;
    font-family: monospace;
}

#blob a.line-anchor {
    color: grey;
    text-decoration: none;
    text-align: right;
}

#blob a.line-anchor:target {
    color: white;
    background-color: grey;
}

#blob a.line-anchor:hover {
    color: skyblue;
    background-color: inherit;
    text-decoration: none;
}

#blob span.line {
    white-space: preserve-spaces;
}

footer {
    margin: 1em;
    text-align: center;
}

@media (max-width: 400px) {
    body {
        padding: 0;
    }

    #blob {
	column-gap: 1em;
	row-gap: 0em;
	grid-template-columns: max-content auto;
    }
}