@import url(https://fonts.googleapis.com/css2?family=JetBrains+Mono:ital,wght@0,100;0,200;0,300;0,400;0,500;0,600;0,700;0,800;1,100;1,200;1,300;1,400;1,500;1,600;1,700;1,800&display=swap);body,pre{font-family:'JetBrains Mono',monospace!important;margin:1em}body,footer,pre{margin:1em}footer,h1,pre{font-size:80%}*{margin:0;padding:0}body{min-width:320px;color:#333;background-color:#fafafa}a{color:#1c6094;text-decoration:none}a:hover{color:#000}h1{padding:1em;color:#555;font-weight:400}hr{display:block;margin:0 -1px;border-top:1px solid #e2e4e5;border-bottom:none}pre{overflow:auto;line-height:2em}footer{color:#888}#page{overflow:hidden;background-color:#fff;border-radius:5px;box-shadow:0 0 3px #ccc}