Commit 77d9b7f2 authored by Nina's avatar Nina
Browse files

Add bold font face

parent 1ee9b9bf
Pipeline #56099 passed with stages
in 1 minute and 24 seconds
......@@ -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 */
}
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment