.topnav a,.toc a{margin-right:12px;display:inline-block;padding:4px 0}
.toc{margin:8px 0 4px}
dt{font-weight:600;margin-top:10px}
dd{margin:2px 0 0 0;color:#333}
ol.check li{margin:6px 0}
section{scroll-margin-top:12px}