.elide-banner{color:purple;box-sizing:border-box;-webkit-user-select:none;user-select:none;margin-left:auto;padding:20px;font-size:large}.toc{border:1px solid gray;margin-top:2rem}.toc:before{content:"Navigation";text-transform:uppercase;-webkit-user-select:none;user-select:none;box-sizing:border-box;padding:5px;font-size:small;font-weight:600}section{box-sizing:border-box;margin-top:2rem;padding:1rem}h1,h2,h3,h4{-webkit-user-select:none;user-select:none;border-bottom:1px dotted gray;margin-block-start:0}.hero{width:85%;max-width:700px}@media screen and (width<=700px){.hero{width:100%;max-width:100%}}