changed font

2024-07-30 19:01:38 +02:00
parent eb857b6dba
commit 502ef6ea73
7 changed files with 22 additions and 4 deletions
@@ -19,7 +19,7 @@

        h#{$i} {
            font-size: $base-font-size * $factor;
-            font-family: 'Space Mono', monospace;
+            font-family: 'Iosevka', monospace;
            font-weight: 700;
            margin-bottom: 0.25rem;
        }