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
129
130
131
132
133
134
|
@font-face {
font-family: 'Open Sans';
src: url('/fonts/opensans.woff2') format('woff2');
font-display: block;
}
@font-face {
font-family: 'Source Code Pro';
src: url('/fonts/source-code-pro.woff2') format('woff2');
font-display: block;
}
body,h1,h2,h3,h4,h5,h6,p,ul {
margin: 0;
}
a {
color: unset;
text-decoration: unset;
}
body {
font-family: 'Open Sans', sans-serif;
background-color: #3cb371;
}
#banner, #navigation {
background-color: #3cb371;
}
#banner {
height: 64px;
display: flex;
flex-direction: row;
align-items: center;
padding: 16px 48px;
}
#logo-img {
height: 64px;
}
#banner-buttons {
flex-grow: 1;
text-align: right;
}
#banner .button {
font-weight: bold;
margin-left: 4px;
padding: 10px 24px;
background-color: #f8f8f8;
border-radius: 8px;
box-shadow: 0px 0px 4px #00000080;
}
#banner .button:hover {
background-color: #f0f0f0;
}
#banner .button:active {
background-color: #f8f8f8;
box-shadow: none;
}
#page {
display: flex;
flex-direction: row;
}
#navigation {
min-width: 192px;
min-height: calc(100vh - 97px);
padding: 0px 32px;
font-family: 'Source Code Pro';
font-size: 11pt;
}
.nav-heading {
font-family: 'Open Sans';
font-size: 11.5pt;
font-weight: 700;
}
.nav-section {
list-style: none;
padding: 0;
margin-bottom: 4px;
}
#content {
flex-grow: 1;
padding: 24px 32px;
background-color: #f8f8f8;
border-top-left-radius: 4px;
box-shadow: inset 0px 0px 4px #00000080;
font-size: 11.5pt;
}
#content section {
margin: 16px 0px;
}
#content a {
color: #2d8238;
text-decoration: none;
}
#content a:hover {
color: #33b63f;
}
#content p, #content pre {
margin: 0px 0px 8px;
}
#content pre, #content code {
font-family: 'Source Code Pro', 'Courier New', Courier, monospace;
font-size: 10pt;
background-color: #e8e8e8;
}
#content code {
padding: 0px 2px;
}
#content pre {
padding: 4px 6px;
}
@media screen and (max-width: 750px) {
#banner {
padding: 16px 0;
justify-content: center;
}
#banner-buttons {
display: none;
flex-grow: 0;
}
#banner-logo {
text-align: center;
}
#navigation {
display: none;
min-width: 0;
min-height: 0;
}
#content {
padding: 12px 16px;
border-radius: unset;
font-size: 1.5rem;
}
#content pre, #content code {
font-size: 1.25rem;
white-space: unset;
text-wrap: wrap;
}
}
|
