/* terminus.css -- Terminus (bitmap, mon.smooker.org's fonts/, made by otb2web.py) as one family
 * per pixel size: Terminus12 ... Terminus32, normal + bold. A bitmap is sharp only at its own
 * size, so a page names the family of the size it draws at (font-size equal to the number).
 * Served from sf1's /sites/shared/ (fonts in /sites/shared/fonts/); nginx puts it into FUXA's
 * page (conf.d/fuxa.smooker.org.conf, sub_filter). Source: services/fuxa.smooker.org/shared/. */
@font-face { font-family: Terminus12; src: url('/shared/fonts/terminus-12n.woff') format('woff'); font-weight: normal; }
@font-face { font-family: Terminus12; src: url('/shared/fonts/terminus-12b.woff') format('woff'); font-weight: bold; }
@font-face { font-family: Terminus14; src: url('/shared/fonts/terminus-14n.woff') format('woff'); font-weight: normal; }
@font-face { font-family: Terminus14; src: url('/shared/fonts/terminus-14b.woff') format('woff'); font-weight: bold; }
@font-face { font-family: Terminus16; src: url('/shared/fonts/terminus-16n.woff') format('woff'); font-weight: normal; }
@font-face { font-family: Terminus16; src: url('/shared/fonts/terminus-16b.woff') format('woff'); font-weight: bold; }
@font-face { font-family: Terminus18; src: url('/shared/fonts/terminus-18n.woff') format('woff'); font-weight: normal; }
@font-face { font-family: Terminus18; src: url('/shared/fonts/terminus-18b.woff') format('woff'); font-weight: bold; }
@font-face { font-family: Terminus20; src: url('/shared/fonts/terminus-20n.woff') format('woff'); font-weight: normal; }
@font-face { font-family: Terminus20; src: url('/shared/fonts/terminus-20b.woff') format('woff'); font-weight: bold; }
@font-face { font-family: Terminus22; src: url('/shared/fonts/terminus-22n.woff') format('woff'); font-weight: normal; }
@font-face { font-family: Terminus22; src: url('/shared/fonts/terminus-22b.woff') format('woff'); font-weight: bold; }
@font-face { font-family: Terminus24; src: url('/shared/fonts/terminus-24n.woff') format('woff'); font-weight: normal; }
@font-face { font-family: Terminus24; src: url('/shared/fonts/terminus-24b.woff') format('woff'); font-weight: bold; }
@font-face { font-family: Terminus28; src: url('/shared/fonts/terminus-28n.woff') format('woff'); font-weight: normal; }
@font-face { font-family: Terminus28; src: url('/shared/fonts/terminus-28b.woff') format('woff'); font-weight: bold; }
@font-face { font-family: Terminus32; src: url('/shared/fonts/terminus-32n.woff') format('woff'); font-weight: normal; }
@font-face { font-family: Terminus32; src: url('/shared/fonts/terminus-32b.woff') format('woff'); font-weight: bold; }
svg text { -webkit-font-smoothing: none; font-smooth: never; text-rendering: optimizeSpeed; }