update fonts

This commit is contained in:
Simon Vieille 2023-05-18 21:40:32 +02:00
parent d0d776c2ca
commit 2269a2495f
Signed by: deblan
GPG key ID: 579388D585F70417

View file

@ -3,6 +3,11 @@
src: url('./fonts/ubuntu-light.woff') format('woff'); src: url('./fonts/ubuntu-light.woff') format('woff');
} }
@font-face {
font-family: 'UbuntuMono';
src: url('./fonts/ubuntu-mono.ttf') format('truetype');
}
:root { :root {
--color-hover: #3c7ead; --color-hover: #3c7ead;
--color-primary-light-1: #4793cc; --color-primary-light-1: #4793cc;
@ -10,6 +15,10 @@
--fonts-override: 'Ubuntu'; --fonts-override: 'Ubuntu';
} }
.code-block, .code-block code {
font-family: 'UbuntuMono';
}
#navbar .active { #navbar .active {
background: var(--color-hover) !important; background: var(--color-hover) !important;
/* background: #d46ba3; */ /* background: #d46ba3; */