diff options
-rw-r--r-- | assets/css/styles.scss | 9 | ||||
-rw-r--r-- | assets/fonts/DejaVuSansBold-webfont.woff | bin | 0 -> 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 Binary files differnew file mode 100644 index 0000000..855858d --- /dev/null +++ b/assets/fonts/DejaVuSansBold-webfont.woff |