.profit .hero-grid{align-items:stretch}.profit .intro>p+p{margin-top:24px}.profit .split{display:grid;grid-template-columns:1fr 1fr;gap:38px;align-items:start}.profit .split p,.profit .module>p{color:#8e9d86;font-size:11px;line-height:2.1;margin:0 0 18px}.profit .console pre{white-space:pre-wrap;overflow-wrap:anywhere}.profit .micro{font-size:9px!important;color:#62775a!important}.baseline{margin-top:24px}.formula{margin:22px 0}.example{display:grid;grid-template-columns:1fr 1fr;gap:45px;border:1px solid #405433;background:#10190d;padding:26px 30px}.example h3{font-size:17px;font-weight:400;margin:10px 0}.example p{font-size:11px;color:#839977;margin:0;line-height:2}.example dl{margin:0;font-size:10px}.example dl>div{display:flex;justify-content:space-between;gap:14px;padding:7px 0;border-bottom:1px dashed #304527}.example dt{color:#77906a}.example dd{margin:0;color:#c2dda9}.example+.micro{margin-top:16px!important}.implementation{margin-top:26px;border-block:1px solid #304527;padding:13px 0;font-size:9px;color:#8ba578}.implementation span{display:block;padding:6px 0}.profit .scope{margin-top:20px}.profit .invariant-grid{margin-top:22px}@media(max-width:700px){.profit .split,.example{grid-template-columns:1fr;gap:24px}.example{padding:21px}.example dl{font-size:9px}.profit .console pre{font-size:9px}.profit .hero h1{font-size:43px}.implementation{font-size:8px}}