/* Turns specific sections into bold for all platforms
   Sanghee, Nico, 2020-04-29
*/
@font-face {
    font-family: "Nimbus Sans L";
    src: url("/u/static/font/NimbusSans-Bold.otf") format("opentype");
}

.headlinebold {
    font-family: "Nimbus Sans L";
}