#index a.active,#index a.clicked{color:#017eb5!important;font-weight:700}#index a:hover{color:#df41fb!important}html{scroll-behavior:smooth}h1,h2,h3,h4,h5,h6{font-weight:700;margin:10px 0}@import url("https://fonts.googleapis.com/css2?family=Roboto+Mono:wght@400;700&display=swap");code{color:#3a3b3c;font-family:Roboto Mono,monospace;font-size:16px;vertical-align:middle}@media(max-width:992px){.table-of-contents{display:none}}