html, body { background: #111; color: #dde; font-family: monospace; font-size: 1.05rem; }
h1, h2, h3, p { font-family: monospace; }
.tocset { display: none; }