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
|
:root {
font-family: var(--primary-font);
font-size: 12px;
--navbar-height: 39px;
--primary-font: "Noto Sans Mono", monospace;
}
body,
html {
width: 100%;
height: 100%;
margin: 0;
padding: 0;
}
body {
background-image: url(/static/assets/watercolor.jpg);
background-size: cover;
background-position: center;
background-repeat: no-repeat;
/* #c9cfff */
background-color: rgb(197, 198, 254);
}
a {
text-decoration: none;
}
input[type="text"] {
font-family: var(--primary-font);
}
.flex-row {
display: flex;
flex-direction: row;
align-items: center;
justify-content: center;
}
.flex-col {
display: flex;
flex-direction: column;
align-items: center;
justify-content: center;
}
.container {
padding: 20px;
border: 2px #fff solid;
background-color: rgba(255, 255, 255, 0.3);
}
nav {
display: flex;
flex-direction: row;
position: fixed;
top: 0;
left: 0;
width: 100vw;
z-index: 10000 !important;
}
#nav-padding {
flex-basis: 0%;
flex-grow: 1;
max-width: 100%;
}
#nav-inner {
flex: 1 1 auto;
width: auto;
display: inline-flex;
flex-direction: row;
align-items: center;
justify-content: center;
padding: 4px 0;
margin: 0 auto;
gap: 6px;
background-color: #3f3f3f;
background-image: linear-gradient(to bottom, #3f3f3f, #2a2a2a);
border-bottom-left-radius: 4px;
border-bottom-right-radius: 4px;
}
.label {
display: inline-block;
padding: 6px 8px;
text-decoration: none;
background-image: linear-gradient(to bottom, #1c1c1c, #000);
color: #fff;
border: 1px solid #ccc;
}
.label:hover {
background-image: linear-gradient(to bottom, #1c1c1c, #2c2c2c);
}
.label[active] {
color: #f33;
}
#main {
display: flex;
flex-direction: column;
align-items: center;
justify-content: center;
padding-top: calc(var(--navbar-height) + 12px);
}
@media (max-width: 750px) {
#main {
padding-left: 5px;
padding-right: 5px;
}
}
|
