summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNina Siessegger <n.siessegger@zeromail.org>2021-03-23 21:10:28 +0100
committerNina Siessegger <n.siessegger@zeromail.org>2021-03-23 21:10:28 +0100
commit77d9b7f2327e59db79a3d2851bb818c164a01bcd (patch)
tree438ab915aa608f86c2d12db4cc3fff0311b39aea
parent1ee9b9bfd97b068372b0f31f030b6ecfd6d2dcf8 (diff)
Add bold font face
-rw-r--r--assets/css/styles.scss9
-rw-r--r--assets/fonts/DejaVuSansBold-webfont.woffbin0 -> 25040 bytes
2 files changed, 8 insertions, 1 deletions
diff --git a/assets/css/styles.scss b/assets/css/styles.scss
index a9d4514..4b83667 100644
--- a/assets/css/styles.scss
+++ b/assets/css/styles.scss
@@ -22,7 +22,8 @@ $navbar-dropdown-item-hover-background-color: white;
@font-face {
font-family: 'DejaVuSans';
- src: url('/assets/fonts/DejaVuSans-webfont.woff')
+ src: url('/assets/fonts/DejaVuSans-webfont.woff');
+ font-weight: 400;
}
@font-face {
@@ -30,6 +31,12 @@ $navbar-dropdown-item-hover-background-color: white;
src: url('/assets/fonts/DejaVuSansMono-webfont.woff')
}
+@font-face {
+ font-family: 'DejaVuSans';
+ src: url('/assets/fonts/DejaVuSansBold-webfont.woff');
+ font-weight: 700;
+}
+
html {
scroll-padding-top: 5.6rem; /* height of sticky header plus margins */
}
diff --git a/assets/fonts/DejaVuSansBold-webfont.woff b/assets/fonts/DejaVuSansBold-webfont.woff
new file mode 100644
index 0000000..855858d
--- /dev/null
+++ b/assets/fonts/DejaVuSansBold-webfont.woff
Binary files differ