|
|
db5a52194e
|
Style: Reduce font size from 1.2rem to 1.1rem
|
2023-05-29 01:38:53 +02:00 |
|
|
|
ba41fb523e
|
Style: Overwrite user agent pre font family by inheriting from body
|
2023-05-29 01:38:53 +02:00 |
|
|
|
2aed35c6a9
|
Style: Prefer JetBrainsMono Nerd Font over JetBrains Mono and monospace
|
2023-05-29 01:38:52 +02:00 |
|
|
|
4adf4dd1da
|
Style: Use JetBrains Mono as the font-family with monospace as fallback
|
2023-05-29 01:38:52 +02:00 |
|
|
|
ade90eb36b
|
Style: Use JetBrains Mono webfont
|
2023-05-29 01:38:51 +02:00 |
|
|
|
b4d1a28824
|
Everywhere: Move files into public and src directories
|
2022-01-05 15:25:26 +01:00 |
|
