@import"https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600&display=swap";*{box-sizing:border-box;padding:0;margin:0}body{text-align:center;padding-bottom:3em;background-color:#000;color:#fff;font-family:monospace}header{padding-top:1em;padding-bottom:1em;margin:0}a{color:#ff0;text-decoration:none}#additional-examples{padding-top:10px;border:3px solid black;border-radius:10px;color:#fff;max-width:100ch;margin-bottom:1em;margin-left:auto;margin-right:auto;background-color:#1e1e1e}#additional-examples a:link{color:#fff;text-decoration:underline solid rgb(150,150,150)}#additional-examples ul{list-style-type:none;padding:10px 0 20px;margin:0}.important-box{border:3px solid black;color:#fff;font-size:20px;margin:2mm;background-color:#1e1e1e;display:inline-block;padding:4mm;border-radius:12px}button{padding:4px;margin:0;background:#232323;border-radius:4px;border:0px;color:#fff;cursor:pointer}code{background-color:gray}#proof-field{background:#232323;color:#fff;display:none}#editor_wrapper{display:flex;justify-content:center;padding-left:1em;padding-right:1em}#editor{width:100%;max-width:90rem;height:500px;border:1px solid #ccc;text-align:left}