/* 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 {