/* Deliberately empty.
 *
 * This stylesheet exists to be written into from script. The site is served under
 * `style-src 'self'` (see http_static.go), which refuses inline CSS in every form — a <style>
 * element, a style="" attribute, and any write to `element.style` from JS — but places no
 * restriction on rules added through the CSSOM to a stylesheet it already trusts. This file is that
 * stylesheet: same-origin, so `'self'` covers it, and empty on the wire so nothing here can drift
 * out of step with the code that fills it.
 *
 * js/style.js is the only thing that touches it. Do not hand-write rules below — anything static
 * belongs in style.css, where it can be read.
 *
 * It must stay linked AFTER style.css: the rules added here replace what used to be inline styles,
 * and an inline style beat every selector. Coming last in the cascade is half of getting that back
 * (js/style.js doubles each generated class in its selector for the other half).
 */