1*,
  2::before,
  3::after {
  4  box-sizing: border-box;
  5}
  6
  7::-moz-focus-inner {
  8  border-style: none;
  9  padding: 0;
 10}
 11:-moz-focusring {
 12  outline: 1px dotted ButtonText;
 13}
 14:-moz-ui-invalid {
 15  box-shadow: none;
 16}
 17
 18:root {
 19  --line-height: 1.3rem;
 20  --grid-height: 0.65rem;
 21}
 22
 23html {
 24  background-color: var(--bg-color);
 25  color: var(--text-color);
 26  font-size: 16px;
 27  line-height: var(--line-height);
 28  font-family:
 29    -apple-system,
 30    BlinkMacSystemFont,
 31    "Segoe UI",
 32    Roboto,
 33    Oxygen,
 34    Ubuntu,
 35    Cantarell,
 36    "Fira Sans",
 37    "Droid Sans",
 38    "Helvetica Neue",
 39    Arial,
 40    sans-serif,
 41    "Apple Color Emoji",
 42    "Segoe UI Emoji",
 43    "Segoe UI Symbol";
 44  -webkit-text-size-adjust: 100%;
 45  -moz-tab-size: 4;
 46  -o-tab-size: 4;
 47  tab-size: 4;
 48}
 49
 50body {
 51  margin: 0 auto;
 52  padding: 0 1rem;
 53}
 54
 55img {
 56  max-width: 100%;
 57  height: auto;
 58}
 59
 60b,
 61strong {
 62  font-weight: bold;
 63}
 64
 65code,
 66kbd,
 67samp,
 68pre {
 69  font-family: monospace;
 70}
 71
 72code,
 73kbd,
 74samp {
 75  border: 2px solid var(--code);
 76}
 77
 78pre > code {
 79  background-color: inherit;
 80  padding: 0;
 81  border: none;
 82  border-radius: 0;
 83}
 84
 85code {
 86  font-size: 90%;
 87  border-radius: 0.3rem;
 88  padding: 0.025rem 0.3rem;
 89  border: 1px solid var(--border);
 90}
 91
 92pre {
 93  border: 1px solid var(--border);
 94  padding: var(--grid-height);
 95  border-radius: 1px;
 96  overflow-x: auto;
 97}
 98
 99h1,
100h2,
101h3,
102h4 {
103  font-style: normal;
104  font-size: 1rem;
105  font-weight: bold;
106  line-height: var(--line-height);
107  margin: 0 0 var(--grid-height) 0;
108  padding: 0;
109  border: 0;
110}
111
112path {
113  fill: var(--text-color);
114}
115
116a {
117  text-decoration: none;
118  color: var(--text-color);
119}
120
121a:hover,
122a:visited:hover {
123  color: var(--visited);
124  text-decoration: underline;
125}
126
127a:visited {
128  color: var(--text-color);
129}
130
131header {
132  margin: 1rem auto;
133}
134
135p {
136  margin-top: var(--line-height);
137  margin-bottom: var(--line-height);
138}
139
140footer {
141  text-align: center;
142}
143
144.font-bold {
145  font-weight: bold;
146}
147
148.mono {
149  font-family: monospace;
150}
151
152.text-sm {
153  font-size: 0.8rem;
154}
155
156.flex {
157  display: flex;
158}
159
160.flex-col {
161  flex-direction: column;
162}
163
164.flex-wrap {
165  flex-wrap: wrap;
166}
167
168.items-center {
169  align-items: center;
170}
171
172.m-0 {
173  margin: 0;
174}
175
176.mb {
177  margin-bottom: var(--grid-height);
178}
179
180.mb-0 {
181  margin-bottom: 0;
182}
183
184.my {
185  margin-top: var(--grid-height);
186  margin-bottom: var(--grid-height);
187}
188
189.px {
190  padding-left: 0.5rem;
191  padding-right: 0.5rem;
192}
193
194.py {
195  padding-top: var(--grid-height);
196  padding-bottom: var(--grid-height);
197}
198
199.justify-between {
200  justify-content: space-between;
201}
202
203.justify-center {
204  justify-content: center;
205}
206
207.gap {
208  gap: var(--grid-height);
209}
210
211.gap-2 {
212  gap: var(--line-height);
213}
214
215.group {
216  display: flex;
217  flex-direction: column;
218  gap: var(--grid-height);
219}
220
221.group-2 {
222  display: flex;
223  flex-direction: column;
224  gap: var(--line-height);
225}
226
227.flex-1 {
228  flex: 1;
229}
230
231.box {
232  border: 2px solid var(--grey-light);
233  padding: var(--grid-height);
234}
235
236.border-b {
237  border-bottom: 1px solid var(--border);
238}
239
240.border-b:last-child {
241  border-bottom: 0;
242}
243
244.box {
245  margin: 1rem 0;
246  padding: var(--grid-height);
247  border: 1px solid var(--border);
248}
249
250.border-visited {
251  border-color: var(--visited);
252}
253
254.tree-size {
255  width: 60px;
256  text-align: right;
257}
258
259.tree-path {
260  text-wrap: wrap;
261}
262
263.sticky {
264  position: sticky;
265  top: 0;
266  left: 0;
267  background-color: var(--bg-color);
268}
269
270.white-space-bs {
271  white-space: break-spaces;
272}
273
274.btn-nav {
275  border-radius: 4px;
276  padding: 6px 10px;
277  border: 1px solid var(--border);
278}
279
280.btn-nav:hover, .btn-active {
281  border-color: var(--visited);
282  text-decoration: none;
283  color: var(--text-color);
284}
285
286@media only screen and (max-width: 900px) {
287  body {
288    padding: 0 0.5rem;
289  }
290
291  header {
292    margin: 0;
293  }
294
295  .flex-collapse {
296    flex-direction: column;
297  }
298
299  .tree-commit {
300    display: none;
301  }
302}