nav {
    position: fixed;
    top: 0;
    left: 0;
    width: 14em;
    height: 100vh;
    background: #f7f7fa;
    border-right: 1px solid #ddd;
    padding: 2em 1em 1em 1em;
    box-sizing: border-box;
    overflow-y: auto;
    z-index: 100;
}

nav ol {
    list-style: none;
    padding: 0;
    margin: 0;
}

nav ol li {
    margin-bottom: 1em;
}

nav ol li a {
    display: block;
    color: #222;
    text-decoration: none;
    padding: 0.5em 0.75em;
    border-radius: 4px;
    transition: background 0.2s;
}

nav ol li a:hover,
nav ol li a:focus {
    background: #e0e0f0;
    color: #000;
}

/* Add left margin to main content to avoid overlap */
header,
div.main {
    margin-left: 16em;
}

code span {
    font-family: "Source Code Pro" "Noto sans mono", monospace;
    font-size: 15px;
}

body {
    font-family: "Source Sans 3","Helvetica Neue","Segoe UI","Roboto",Arial,sans-serif;
}

div.declaration {
    border-top: 1px solid #c0c0d0;
    padding-top: 1em;
    padding-bottom: 1em;
    margin-top: 1em;
    margin-bottom: 1em;
}

/* HACK: disable wavy red underline for errors, because they are quite common in docstrings */
.hl.lean .has-info.error :not(.tactic-state):not(.tactic-state *) {
    text-decoration: none !important;
}

/*
     FILE ARCHIVED ON 02:27:30 Oct 14, 2025 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 19:47:56 Mar 16, 2026.
     JAVASCRIPT APPENDED BY WAYBACK MACHINE, COPYRIGHT INTERNET ARCHIVE.

     ALL OTHER CONTENT MAY ALSO BE PROTECTED BY COPYRIGHT (17 U.S.C.
     SECTION 108(a)(3)).
*/
/*
playback timings (ms):
  captures_list: 1.651
  exclusion.robots: 0.053
  exclusion.robots.policy: 0.042
  esindex: 0.012
  cdx.remote: 18.06
  LoadShardBlock: 280.734 (3)
  PetaboxLoader3.resolve: 241.712 (4)
  PetaboxLoader3.datanode: 205.092 (4)
  load_resource: 230.356
*/