Push fonts branch to latest main commit #5

Merged
sangelo merged 28 commits from main into fonts 2023-06-10 11:46:47 +00:00
Showing only changes of commit c1f875b3e0 - Show all commits

View file

@ -85,7 +85,7 @@
} }
.navigation-bar a { .navigation-bar a {
font-family: 'IBM Plex Mono', monospace; font-family: 'Space Grotesk', sans-serif;
font-style: normal; font-style: normal;
font-weight: 400; font-weight: 400;
font-size: 1em; font-size: 1em;
@ -94,7 +94,7 @@
} }
[data-theme="dark"] .navigation-bar a { [data-theme="dark"] .navigation-bar a {
font-family: 'IBM Plex Mono', monospace; font-family: 'Space Grotesk', sans-serif;
font-style: normal; font-style: normal;
font-weight: 300; font-weight: 300;
font-size: 1em; font-size: 1em;