Fix css fonts properly

Evgeny PisemskyMon Sep 02 09:45:00+0300 2024

231485b

Fix css fonts properly

assets/css/git.css

11 
:root {
2+
  --font-base: 14px;
3+
  --font-sans: "DejaVu Sans", "Noto Sans", sans-serif;
4+
  --font-mono: "DejaVu Sans Mono", "Noto Sans Mono", monospace;
5+
26 
  --white: #faf7f3;
37 
  --darkwhite: #eae5e0;
48 
  --gray: #d9d5d4;
…
3539 
html, body {
3640 
  margin: 0;
3741 
  padding: 0;
38-
  font-family: sans-serif;
3942 
  background: var(--gray);
4043 
  color: var(--black);
44+
  font-family: var(--font-sans);
45+
  font-size: var(--font-base);
4146 
}
4247 
4348 
html {
…
7479 
  text-align: center;
7580 
}
7681 
77-
.pseudo {
78-
  font-family: monospace;
79-
}
80-
8182 
#content {
8283 
  flex: 1;
8384 
}
…
118119 
code {
119120 
  padding: 3px;
120121 
  background-color: var(--darkwhite);
122+
  font-family: var(--font-mono);
121123 
}
122124 
123125 
.project .instructions code {
…
155157 
#mire .blue {
156158 
  background: var(--blue);
157159 
}
160+
158161 
#mire .green {
159162 
  background: var(--darkergreen);
160163 
}
164+
161165 
#mire .red {
162166 
  background: var(--red);
163167 
}
168+
164169 
#mire .orange {
165170 
  background: var(--orange);
166171 
}
assets/css/gitile.css
55 
 */
66 
77 
:root {
8+
  --font-base: 14px;
9+
  --font-sans: "DejaVu Sans", "Noto Sans", sans-serif;
10+
  --font-mono: "DejaVu Sans Mono", "Noto Sans Mono", monospace;
11+
812 
  /* header colors */
913 
  --blue: #6eaee6;
1014 
  --darkblue: #176ecb;
…
8892 
  padding: 0;
8993 
  min-height: 100%;
9094 
  background: var(--darkwhite);
95+
  font-family: var(--font-sans);
96+
  font-size: var(--font-base);
9197 
}
9298 
9399 
body {
…
182188 
  padding: 0.5em;
183189 
  margin: 0;
184190 
  background: var(--white);
185-
  line-height: 1em;
186-
  font-family: monospace;
187191 
}
188192 
189193 
pre {
190-
  font-size: 0.85em;
194+
  font-family: var(--font-mono);
191195 
}
192196 
193197 
article.formatted-file-content > * {
194198 
  margin-left: auto;
195199 
  margin-right: auto;
196-
  font-family: sans-serif;
197-
  font-size: 1.05em;
198200 
}
199201 
200202 
.formatted-file-content ul {
…
205207 
  border: 1px solid var(--pre-border);
206208 
  box-shadow: 1px 1px 0 var(--pre-shadow);
207209 
  overflow: auto;
208-
  font-family: monospace;
209-
  font-size: inherit;
210210 
  color: #353;
211211 
}
212212 
213213 
.formatted-file-content h1 {
214214 
  text-align: left;
215-
  font-size: 1.9em;
216215 
  padding-bottom: 0.3em;
217216 
  border-bottom: 1px solid #ddd;
218217 
}
…
223222 
}
224223 
225224 
article.formatted-file-content {
226-
  font-family: inherit;
227-
  line-height: inherit;
228225 
  padding: 1em 5em;
229226 
}
230227 
…
234231 
  width: 100%;
235232 
  border: 1px solid var(--gray);
236233 
  margin-bottom: 1em;
234+
  font-size: var(--font-base);
235+
}
236+
237+
table.file-diff {
238+
  font-family: var(--font-mono);
237239 
}
238240 
239241 
tbody tr {
…
284286 
}
285287 
286288 
table.file-diff td:nth-child(3) {
287-
  font-family: monospace;
288289 
  text-align: center;
289290 
}
290291 
291292 
table.file-diff .diff-line-num, table.file-content .content-line-num {
292293 
  background: var(--darkerwhite);
293294 
  color: var(--lighterblack);
294-
  font-family: monospace;
295295 
  text-align: center;
296296 
  border-right: 1px solid var(--gray);
297297 
  border-left: 1px solid var(--gray);
…
403403 
  display: inline-block;
404404 
  padding: 0 0.5em;
405405 
  border-right: 1px solid var(--gray);
406-
  font-family: monospace;
407-
  font-size: 0.85em;
406+
  font-family: var(--font-mono);
408407 
  display: flex;
409408 
  align-items: center;
410409 
}
…
447446 
  background: var(--darkerwhite);
448447 
  display: inline-block;
449448 
  padding: 3px;
450-
  font-family: monospace;
451-
  font-size: 0.85em;
449+
  font-family: var(--font-mono);
452450 
}
453451 
454452 
.formatted-file-content pre code {
455-
  font-size: inherit;
456-
  font-family: inherit;
457453 
  padding: 0;
458454 
  background: none;
459455 
  box-shadow: none;