@import"https://fonts.googleapis.com/css?family=Mulish:400,500,600,700,800";@import"https://fonts.googleapis.com/css2?family=IBM+Plex+Mono&display=swap";body{background-color:#f7f9fb;margin:0;font-family:Mulish;text-rendering:optimizeLegibility;-webkit-font-smoothing:antialiased}.App{max-width:1160px;margin:0 auto}#myVerifierFiles{border-right:1px solid #e8e8e8;width:240px;font-weight:500;font-size:14px}#myVerifierContent code{background:#fff;font-size:14px;max-width:100%;line-height:25px;padding-left:20px;height:800px;-webkit-text-size-adjust:100%}#myVerifierFiles .contract-verifier-file.active{background:#f7f9fb}#myVerifierFiles .contract-verifier-tree-item{padding:13px 6px}@media screen and (max-width: 1200px){#myVerifierFiles{width:190px}}@media screen and (max-width: 1100px){#myVerifierFiles{width:170px}}@media screen and (max-width: 1000px){#myVerifierFiles{width:150px}}@media screen and (max-width: 900px){#myVerifierContainer{flex-direction:column}#myVerifierContent code{padding-left:0}#myVerifierFiles{max-height:400px;height:content-box;overflow-y:scroll;width:100%;border-right:none;border-bottom:1px solid #e8e8e8}}pre code.hljs{display:block;overflow-x:auto;padding:1em}code.hljs{padding:3px 5px}.hljs{color:#383a42;background:#fafafa}.hljs-comment,.hljs-quote{color:#a0a1a7;font-style:italic}.hljs-doctag,.hljs-formula,.hljs-keyword{color:#a626a4}.hljs-deletion,.hljs-name,.hljs-section,.hljs-selector-tag,.hljs-subst{color:#e45649}.hljs-literal{color:#0184bb}.hljs-addition,.hljs-attribute,.hljs-meta .hljs-string,.hljs-regexp,.hljs-string{color:#50a14f}.hljs-attr,.hljs-number,.hljs-selector-attr,.hljs-selector-class,.hljs-selector-pseudo,.hljs-template-variable,.hljs-type,.hljs-variable{color:#986801}.hljs-bullet,.hljs-link,.hljs-meta,.hljs-selector-id,.hljs-symbol,.hljs-title{color:#4078f2}.hljs-built_in,.hljs-class .hljs-title,.hljs-title.class_{color:#c18401}.hljs-emphasis{font-style:italic}.hljs-strong{font-weight:700}.hljs-link{text-decoration:underline}.Button{font-weight:700;background-color:#08c;border-radius:8px;padding:10px 20px;cursor:pointer;display:inline-block}.Button-disabled{background-color:#ccc;cursor:not-allowed}.InfoPiece{display:flex;gap:10px}.InfoPiece-Label{font-weight:700;min-width:112px}.InfoPiece-Data{color:#728a96}