.ProofIllustration-module__GflKYW__canvas{aspect-ratio:16/9;justify-content:center;align-items:center;width:100%;max-width:70%;margin:0 auto;display:flex;position:relative;container-type:size}.ProofIllustration-module__GflKYW__codeWrapper{letter-spacing:.01em;white-space:pre;text-shadow:0 4px 15px #000c;z-index:0;pointer-events:none;font-family:DM Mono,Fira Code,JetBrains Mono,monospace;font-size:.585vw;line-height:1.5;position:absolute;bottom:42%;left:25%}.ProofIllustration-module__GflKYW__panelBase{-webkit-backdrop-filter:blur(4px);z-index:1;background:#ffffff08;border:1px solid #ffffff0d;width:100%;height:100%;position:absolute;box-shadow:0 10px 30px -5px #0000004d;-webkit-backdrop-filter:blur(4px)!important;backdrop-filter:blur(4px)!important}.ProofIllustration-module__GflKYW__panelBase:before{content:"";mix-blend-mode:overlay;pointer-events:none;opacity:.05;background-image:url("data:image/svg+xml,%3Csvg viewBox='0 0 200 200' xmlns='http://www.w3.org/2000/svg'%3E%3Cfilter id='noiseFilter'%3E%3CfeTurbulence type='fractalNoise' baseFrequency='0.9' numOctaves='3' stitchTiles='stitch'/%3E%3C/filter%3E%3Crect width='100%25' height='100%25' filter='url(%23noiseFilter)' opacity='1'/%3E%3C/svg%3E");position:absolute;inset:0}.ProofIllustration-module__GflKYW__panelLayer3{aspect-ratio:16/9;-webkit-backdrop-filter:blur(8px);z-index:2;background:#ffffff26;border:1px solid #ffffff26;width:65%;position:absolute;box-shadow:0 0 35px #ffffff05;-webkit-backdrop-filter:blur(8px)!important;backdrop-filter:blur(8px)!important}.ProofIllustration-module__GflKYW__panelLayer3:before{content:"";mix-blend-mode:overlay;pointer-events:none;opacity:.05;background-image:url("data:image/svg+xml,%3Csvg viewBox='0 0 200 200' xmlns='http://www.w3.org/2000/svg'%3E%3Cfilter id='noiseFilter'%3E%3CfeTurbulence type='fractalNoise' baseFrequency='0.9' numOctaves='3' stitchTiles='stitch'/%3E%3C/filter%3E%3Crect width='100%25' height='100%25' filter='url(%23noiseFilter)' opacity='1'/%3E%3C/svg%3E");position:absolute;inset:0}
/*# sourceMappingURL=2c0705e5728edd53.css.map*/