@charset "UTF-8"; @import url(/static/theme.css); .skip { position: absolute; left: -10000px; top: auto; width: 1px; height: fit-content; overflow: hidden; } .skip:focus { position: static; width: auto; background: black; padding: 5px; } .demobar h1 { text-align: center; } .demobar > p { padding: 0.5em; } .demobar a, .demobar a:visited { color: white; } .tt { font-family: "Lucida Console", Monaco, monospace; } .informational-ok { background: lightgreen; border-radius: 1em; padding: 0.5em; } .informational-fail { background: lightpink; border-radius: 1em; padding: 0.5em; } .content { margin-left: 2em; margin-right: 2em; overflow-x: auto; } .demobar { overflow-x: auto; background-color: #0042b2; color: white; } body { overflow-x: hidden; overflow-y: auto; } .navcontainer { background: #0042b2; margin-bottom: 50px; width: 100%; color: white; position: -webkit-sticky; position: sticky; top: 0px; width: 100vw; backdrop-filter: blur(10px); opacity: 1; z-index: 10000; } nav { left: 1vw; position: relative; background: #0042b2; z-index: 10000; } .langbtn { width: 100%; text-align: left; } nav a, nav button, nav span, .navbtn { border: none; color: white; text-decoration: none; display: inline-block; font-size: 16px; background: #0042b2; height: inherit; } nav a, nav button, nav span, .navbtn { padding: 15px 32px; } nav a:hover, nav span:hover, .navbtn:hover { background: #3daee9; } nav a.active, nav span.active, .navbtn.active { background-color: var(--demo-common-dark-blue); } nav a.active:hover, nav span.active:hover, .navbtn.active:hover { background: #3daee9; } nav a, nav span, .navbtn { cursor: pointer; } nav .right { float: right; margin-right: 5vw; } nav .hide div.nav { display: none; }