:root{--jp-color-primary: #999900;--jp-color-accent: #402070;--jp-color-text: #000000;--jp-color-bg-0: #fffff0;--jp-color-bg-1: #f7f7f0;--jp-color-bg-2: #f0f0e0;--jp-color-bg-3: #e7e7e0;--jp-color-bg-4: #e0e0d0;--jp-color-shadow: #ffffffaa;--jp-color-bg-5: #d7d7d0;color-scheme:light dark}html{color:var(--jp-color-text);background-color:var(--jp-color-bg-1)}@media(prefers-color-scheme:dark){:root{--jp-color-primary: #999900;--jp-color-accent: #A060F0;--jp-color-text: #fafafa;--jp-color-bg-0: #111101;--jp-color-bg-1: #181810;--jp-color-bg-2: #222202;--jp-color-bg-3: #282818;--jp-color-bg-4: #333323;--jp-color-shadow: #ffffff88;--jp-color-bg-5: #4e4e38}}@media(prefers-contrast:more){html{background-color:var(--jp-color-bg-0)}}@media(prefers-color-scheme:dark)and (prefers-contrast:more){:root{--jp-color-text: #ffffff}}html{height:100%;overscroll-behavior:none;overflow:hidden}body{height:100%;overscroll-behavior:none;overflow:hidden;margin:0}:root{--jp-common-border-radius: .2rem;--jp-common-border-width: 1px;--jp-common-max-width: 666px;--jp-common-padding: 1rem}@media(max-width:600px){:root{--jp-common-padding: .5rem}}:root{--jp-font-face-display: "Martian Mono", monospace;--jp-font-face-header: "Oi", cursive;--jp-font-optical-sizing-display: auto;--jp-font-size-note: .8rem;--jp-font-size-display: 1rem;--jp-font-size-nav: 2rem;--jp-font-size-h1: 3rem;--jp-font-size-h2: 2.5rem;--jp-font-size-h3: 2rem;--jp-font-size-h4: 1.5rem;--jp-font-size-h5: 1rem;--jp-font-size-h6: .875rem;--jp-font-style-display: normal;--jp-font-variation-settings-display: "wdth" 87.5;--jp-font-weight-display: 200;--jp-font-weight-header: 400;font-family:var(--jp-font-face-display);font-optical-sizing:var(--jp-font-optical-sizing-display);font-style:var(--jp-font-style-display);font-weight:var(--jp-font-weight-display);font-variation-settings:var(--jp-font-variation-settings-display)}@media(max-width:600px){:root{--jp-font-size-nav: 1.5rem}}h1,h2,h3,h4,h5,h6{font-family:var(--jp-font-face-header);font-weight:var(--jp-font-weight-header)}h1{font-size:var(--jp-font-size-h1)}h2{font-size:var(--jp-font-size-h2)}h3{font-size:var(--jp-font-size-h3)}h4{font-size:var(--jp-font-size-h4)}h5{font-size:var(--jp-font-size-h5)}h6{font-size:var(--jp-font-size-h6)}