.katex,a,b,h1,h2,h3,h4,h5,h6,input,strong,textarea,th{color:#202124}p{margin:0}p+p{margin-top:1em}code,pre{font-family:Consolas,Roboto Mono,monospace;background-color:rgba(0,0,0,.05);white-space:pre-wrap;word-break:break-all;-moz-tab-size:4;-o-tab-size:4;tab-size:4}pre{padding:6px}code{font-size:.85em;padding:.15em .3em;border-radius:.3em}pre code{background-color:unset;padding:0}table{border:1px solid #ccc;border-collapse:collapse;margin:1em 0}table tr td,table tr th{padding:.2em .5em;border:1px solid #ccc}button,input[type=button],input[type=submit]{background:none;border:none;border-radius:3px;padding:1ex 1em;cursor:pointer;font:.85em Roboto,sans-serif;margin:.15em}kbd,textarea{font:.85em Consolas,Roboto Mono,monospace}kbd{color:#202124;border:1px solid #ccc;padding:.1em .3em;border-radius:.2em}blockquote{margin:1em 0;padding:.5em 20px;border-left:5px solid #202124;background-color:#f7f7f7}nav{display:flex;position:fixed;justify-content:space-between;top:0;left:0;right:0;z-index:10000;background-color:#fff;border-top:5px solid #222;box-shadow:0 0 2px 0 rgba(0,0,0,.16),0 0 0 1px rgba(0,0,0,.08);padding:0 15px}#whatever,nav{align-items:center;flex-wrap:wrap}#whatever{display:inline-flex;position:relative;justify-content:flex-end;align-content:center}.colored{background-color:#202124!important;color:#eee}.block{padding:1em;background-color:#fafafa;border:1px solid #ccc;border-radius:3px;margin:1em 0}.label,.mono{font-family:Roboto Mono,monospace,monospace}#top,.label a,[id^=id-]{scroll-margin:100px}.math{font-size:1.2em;margin:1em 0}.katex .vlist-r{pointer-events:none}.katex a{text-decoration:none;color:inherit;pointer-events:auto}.katex a[href^="#def-"]>:not(.mspace){background-color:#e3f2fd;border-radius:.15em;color:#303f9f}.katex [data-proved=np]>:not(.mspace){background-color:#ffebee;border-radius:.15em;color:#b71c1c}.katex [data-proved=p]>:not(.mspace){background-color:#e8f5e9;border-radius:.15em;color:#006064}.katex a[href^="#type-"]>:not(.mspace){background-color:#e8eaf6;border-radius:.15em;color:#1a237e}.katex a[href^="#id-"]>:not(.mspace){color:#e65100}table.explorer td{white-space:nowrap}table.explorer td.brb{border-right:3px solid #222;text-align:right;width:1px}table.explorer td.rrb{border-right:3px solid #d32f2f;text-align:right;width:1px}table.explorer td.bbb{border-bottom:3px solid #222}.red{color:#d32f2f}.console-wrap-wrap{position:fixed;z-index:9000;top:60px;bottom:5px;right:5px;min-width:300px;max-width:calc(100% - 110px);font-family:Consolas,Roboto Mono,monospace;pointer-events:none}.console-wrap,.console-wrap-wrap{display:flex;flex-direction:column}.console-wrap{flex-grow:1;justify-content:flex-end;align-items:stretch;min-height:0}#console-display-wrap{background:#fff;flex-grow:0;flex-shrink:1;overflow:auto;min-height:0;pointer-events:auto}#console-display{width:100%;white-space:pre-wrap;font-size:.85em}#console-display .katex{font-size:1.4em}#console-display tr.error{background-color:#ffebee;color:#b71c1c}#console-display td{border:none;vertical-align:top}#console-display td:first-child{width:1px}#console-display tr{border:1px solid #ccc}#console-display-preview{opacity:.7}#search-input{padding:.3em;width:200px}#search-dropdown{position:absolute;top:100%;left:0;right:0}#search-dropdown ul{display:inline-block;min-width:200px;margin:0;padding:0;background-color:#fff}#search-dropdown ul li{list-style:none;border:1px solid #ccc;padding:.15em}#search-dropdown ul li+li{border-top:none}#search-dropdown ul li:hover{background-color:#eee}#search-dropdown ul li.selected a:before{content:"> ";display:inline;font-weight:700}#search-dropdown ul li a{display:block;padding:.1em .3em;color:#5f6368;text-decoration:none}#console-input{pointer-events:auto;flex-shrink:0}#popper-tooltip-holder .block{background-color:#f0f8ff}.CodeMirror{z-index:10000!important;border:1px solid #666;font-size:.9em;font-family:Consolas,Roboto Mono,monospace;height:auto;min-height:90px;max-height:50%}.CodeMirror-focused .CodeMirror-selected{background-color:#90caf9}.CodeMirror-scroll{min-height:50px}.CodeMirror-readonly{background-color:#f3f3f3}.CodeMirror-placeholder{color:#5f6368!important}.CodeMirror-composing{border-bottom:1px solid}.CodeMirror-cursor,.CodeMirror-cursors{z-index:10005!important}.CodeMirror-hints{z-index:10010!important;box-shadow:none;border:1px solid #666;border-radius:0;font-family:Consolas,Roboto Mono,monospace}.CodeMirror-hint{border-radius:0;color:unset}.CodeMirror-hint.CodeMirror-hint-active{background-color:#f2f2f2;color:unset}.yamd-error{color:red}.flicker{-webkit-animation:flicker 1s 1 normal!important;animation:flicker 1s 1 normal!important}.rotate{-webkit-animation:rotate 1s linear infinite normal!important;animation:rotate 1s linear infinite normal!important}@-webkit-keyframes flicker{0%,to{background-color:transparent}25%{background-color:#ff0}}@keyframes flicker{0%,to{background-color:transparent}25%{background-color:#ff0}}@-webkit-keyframes rotate{0%{transform:rotate(0deg)}to{transform:rotate(1turn)}}@keyframes rotate{0%{transform:rotate(0deg)}to{transform:rotate(1turn)}}