html, body { background: #111; color: #dde; font-family: monospace; font-size: 1.05rem; }

h1, h2, h3, p { font-family: monospace; }

.tocset { display: none; }