:root{color-scheme:light;--fb-primary:#153b53;--fb-accent:#13a9ad;--ink:#142b3b;--subtle:#5d7180;--muted:#6e8190;--border:#dce7ec;--wash:#f4f9fa;--white:#fff;--deep:#0b1e30;--shadow:0 11px 32px rgba(9,43,61,.055);font-family:Inter,"Segoe UI",system-ui,-apple-system,sans-serif}*{box-sizing:border-box}html{scroll-behavior:smooth;scroll-padding-top:110px}body{margin:0;background:#f8fbfc;color:var(--ink);font-size:15px;line-height:1.55}button,input,select,textarea{font:inherit}button{cursor:pointer}a{color:#086f82;text-underline-offset:3px}a:hover{color:#074f5d}h1,h2,h3,p{margin-top:0}h2{letter-spacing:-.035em;font-size:clamp(1.5rem,3vw,2rem);line-height:1.2;margin-bottom:.55rem}h3{font-size:1.05rem;line-height:1.25}section[id]{scroll-margin-top:110px}.page-shell{max-width:1300px;padding-left:clamp(18px,4vw,55px);padding-right:clamp(18px,4vw,55px);margin-inline:auto}.sr-only{position:absolute;width:1px;height:1px;padding:0;margin:-1px;border:0;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap}:where(a,button,input,select,textarea,[tabindex]):focus-visible{outline:3px solid var(--fb-accent);outline-offset:2px}mightora-header,mightora-author,mightora-footer{display:block}.quick-jump-nav{z-index:22;position:sticky;top:0;display:flex;align-items:center;gap:23px;min-height:48px;padding:7px max(20px,calc((100vw - 1190px)/2));background:rgba(255,255,255,.97);box-shadow:0 1px 0 #e3ecf0;backdrop-filter:blur(10px);font-size:.82rem;font-weight:650}.quick-jump-nav a{color:#425b6b;text-decoration:none;white-space:nowrap}.quick-jump-nav a:hover{color:#008a93}.quick-status{margin-left:auto;color:#4b6676;white-space:nowrap;font-weight:500}.status-led{display:inline-block;width:7px;height:7px;background:#28bb95;border-radius:50%;margin-right:5px}.offline-banner{background:#15364b;color:white;text-align:center;padding:9px 18px;font-weight:720}.offline-banner span{font-weight:400;color:#c7e7e9}.hero{display:grid;grid-template-columns:1.12fr .88fr;align-items:center;gap:60px;min-height:405px;padding-top:65px;padding-bottom:62px;position:relative}.hero:before{content:"";position:absolute;z-index:-1;inset:0 0 -5px;background:radial-gradient(ellipse at 85% 30%,#e3f9f7 0,transparent 46%)}.eyebrow{font-weight:790;letter-spacing:.155em;font-size:.69rem;color:#157e8b;margin-bottom:18px}.spark{color:#17abb3}.version-chip{letter-spacing:0;font-size:.63rem;padding:4px 8px;border-radius:8px;background:#e7f5f5;color:#006c73;margin-left:8px}.hero h1{font-size:clamp(2.5rem,5vw,4.25rem);line-height:1.08;letter-spacing:-.06em;margin-bottom:22px;font-weight:810}.hero h1 span{color:#087f8c}.hero-lede{max-width:550px;font-size:1.04rem;color:#526979;line-height:1.76}.hero-tags{display:flex;gap:10px;flex-wrap:wrap;margin-top:26px}.hero-tags span{padding:7px 12px;border:1px solid #d6e9e9;border-radius:100px;color:#49727a;background:#f6ffff;font-size:.76rem;font-weight:650}.hero-visual{border:1px solid #304a5d;border-radius:19px;background:linear-gradient(140deg,#10273d,#0b182a);box-shadow:0 23px 60px #102c4040;color:#d8e8ed;overflow:hidden;transform:rotate(-1deg)}.visual-head,.visual-foot{padding:11px 20px;display:flex;justify-content:space-between;gap:10px;font-size:.69rem;color:#9ab5c7;background:#ffffff07}.visual-dots{letter-spacing:3px;color:#67d9cf}.visual-code{font:500 clamp(.65rem,1.1vw,.87rem)/2.2 ui-monospace,"SFMono-Regular",Consolas,monospace;padding:34px 28px;white-space:nowrap}.visual-foot{border-top:1px solid #365064}.code-purple{color:#debaee}.code-indigo{color:#8fafff}.code-cyan{color:#6edfd1}.code-yellow{color:#fed393}.workspace-section{padding-top:44px}.section-heading{display:flex;align-items:end;justify-content:space-between;gap:24px;margin-bottom:23px}.section-heading p{margin:0;color:#687d8a;max-width:760px}.section-heading .eyebrow{margin-bottom:10px}.pill{border-radius:24px;background:#e5f9ef;color:#117458;font-size:.72rem;padding:7px 12px;font-weight:690;white-space:nowrap}.toolbar{display:flex;flex-wrap:wrap;gap:8px;margin-bottom:14px}.btn{padding:10px 15px;border-radius:9px;font-size:.79rem;line-height:1.35;font-weight:700;border:1px solid #d5e2e8;min-height:39px;transition:background .15s,color .15s,transform .15s}.btn:hover{transform:translateY(-1px)}.btn-primary{background:#0d7284;color:#fff;border-color:#0d7284}.btn-primary:hover{background:#095368;color:white}.btn-quiet{background:#fff;color:#244b60}.btn-quiet:hover{background:#e5f4f6}.btn-minimal{background:transparent;color:#657c8b}.btn-minimal:hover{background:#e6eef2}.btn-small{font-size:.73rem;padding:6px 9px;min-height:32px}.work-grid,.compare-grid,.review-grid,.privacy-grid{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:14px}.panel{border:1px solid var(--border);border-radius:13px;background:#fff;box-shadow:var(--shadow);min-width:0;overflow:hidden}.panel-heading{display:flex;justify-content:space-between;align-items:center;gap:12px;border-bottom:1px solid #e9f0f2;padding:13px 17px;font-weight:770;color:#234657;font-size:.81rem}.panel-heading .small-note{font-size:.7rem;font-weight:500;color:#83929b}.head-icon{color:#009eae;margin-right:6px}.source-panel textarea,.compare-grid textarea{display:block;border:0;outline:none;resize:vertical;width:100%;background:transparent;color:#1c3849;line-height:1.7;font:500 .83rem/1.7 ui-monospace,SFMono-Regular,Consolas,monospace;padding:19px;min-height:275px;tab-size:4}.source-panel textarea:focus-visible,.compare-grid textarea:focus-visible{outline:3px solid #56cfd0;outline-offset:-3px}.code-output{margin:0;padding:19px;min-height:275px;overflow:auto;white-space:pre;font:500 .83rem/1.7 ui-monospace,SFMono-Regular,Consolas,monospace;color:#1e4459;background:repeating-linear-gradient(#fcfefe,#fcfefe 27px,#f6fafa 28px);tab-size:4}.panel-foot{padding:12px 17px;background:#fafdfe;border-top:1px solid #edf2f4;color:#7b8c96;font-size:.71rem}.metric-row{display:grid;grid-template-columns:repeat(4,1fr);gap:12px;margin:14px 0 26px}.metric{background:linear-gradient(145deg,#eaf5f6,#fff);border:1px solid #dcebed;border-radius:12px;padding:18px 20px}.metric-value{font-size:1.75rem;line-height:1.1;color:#153b53;font-weight:800;letter-spacing:-.05em}.metric-label{font-size:.72rem;color:#607b89;margin-top:7px}.review-panel{min-height:280px}.review-controls{padding:13px 17px;display:flex;align-items:center;justify-content:space-between;gap:12px;border-bottom:1px solid #edf0f2;flex-wrap:wrap}.toggle{display:flex;align-items:center;gap:7px;font-size:.74rem;color:#506d7c;font-weight:560;cursor:pointer}.toggle input{accent-color:#008a98;width:16px;height:16px}.analysis-list{padding:10px 17px 20px;max-height:370px;overflow-y:auto}.empty-state{padding:35px 8px;text-align:center;color:#8c9da7;font-size:.83rem}.finding,.dep-item{border-bottom:1px solid #edf1f3;padding:12px 2px;display:flex;align-items:flex-start;gap:10px;font-size:.8rem}.finding:last-child,.dep-item:last-child{border-bottom:0}.finding strong,.dep-item strong{display:block;color:#223f51;font-size:.8rem}.finding p,.dep-item p{margin:4px 0 0;color:#657b89}.level{border-radius:7px;padding:3px 7px;text-transform:uppercase;letter-spacing:.06em;font-size:.59rem;font-weight:800;margin-top:2px;flex-shrink:0}.level.warning{background:#fff0d6;color:#9b5b05}.level.info{background:#e8f5fd;color:#277599}.level.ok{background:#ddf7e9;color:#177854}.footnote{font-size:.7rem;line-height:1.55;color:#81939c;margin:4px 17px 16px}.function-panel{margin-top:14px}.chips{display:flex;gap:8px;flex-wrap:wrap;padding:15px 17px;min-height:67px}.chips span{border:1px solid #dcebee;background:#f6fbfb;border-radius:7px;padding:6px 10px;font-size:.74rem;font-family:ui-monospace,Consolas,monospace;color:#386474}.chips .empty-chip{background:transparent;color:#899ba6}.chips b{color:#0a7c87}#compare,#patterns,#guide,#privacy{padding-top:86px}.compare-grid textarea{min-height:180px}.compare-actions{display:flex;align-items:center;flex-wrap:wrap;gap:11px;margin:13px 0}.diff-results{overflow:auto;width:100%;max-width:100%;min-width:0;max-height:460px;min-height:95px;background:#fcfeff;font:500 .77rem/1.55 ui-monospace,Consolas,monospace}.diff-row{display:grid;grid-template-columns:44px 44px 18px minmax(max-content,1fr);gap:0;min-width:380px;white-space:pre}.diff-row .lineNo{user-select:none;color:#9aacb5;text-align:right;border-right:1px solid #e7eef1;padding:5px 8px}.diff-row .sig{text-align:center;padding:5px 0;font-weight:700}.diff-row .lineTxt{padding:5px 10px}.diff-row.added{background:#e8faee;color:#135b36}.diff-row.removed{background:#ffeded;color:#8c2431}.diff-row.equal:nth-child(even){background:#f8fbfc}.pattern-filter{display:flex;align-items:center;gap:9px;font-size:.75rem;color:#5f7785}.pattern-filter select{padding:10px;border:1px solid #d9e6eb;border-radius:8px;background:white;color:#244658}.pattern-grid{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:13px}.pattern-card{background:white;border:1px solid #dce8eb;border-radius:12px;padding:20px;display:flex;flex-direction:column;gap:10px;min-width:0}.pattern-card .cat{font-size:.66rem;font-weight:800;letter-spacing:.09em;color:#0a8a98}.pattern-card h3{margin:0}.pattern-card p{font-size:.78rem;color:#637986;flex:1;margin:0}.pattern-card button{align-self:flex-start}.explain-grid{display:grid;grid-template-columns:repeat(3,1fr);gap:15px}.guide-card{border-left:3px solid #1cb0b2;background:#fff;padding:23px;border-radius:0 12px 12px 0;box-shadow:var(--shadow)}.guide-symbol{color:#0b9ea4;font-size:.8rem;letter-spacing:.1em;font-weight:800;margin-bottom:15px}.guide-card p{font-size:.85rem;color:#657d8c;margin:0;line-height:1.75}.guide-links{margin-top:19px;display:flex;flex-wrap:wrap;gap:10px}.guide-links a{display:inline-block;padding:9px 13px;text-decoration:none;background:#edf7f9;border:1px solid #d9edf0;border-radius:8px;font-size:.78rem;font-weight:670}.privacy-section{padding-bottom:65px}.privacy-card{padding:22px}.privacy-card h3{margin-bottom:9px}.privacy-card p{font-size:.84rem;line-height:1.7;color:#687c8a}.network-summary{font:500 .74rem/1.8 ui-monospace,Consolas,monospace;background:#f0f6f8;color:#305d6b;border:1px solid #dfeaf0;padding:13px;border-radius:8px;overflow-wrap:anywhere;margin:15px 0}.steps{padding-left:21px;color:#617989;font-size:.83rem;line-height:2}.steps li{padding-left:4px}.steps strong{color:#294657}kbd{background:#e8f1f4;color:#45616d;padding:2px 5px;border:1px solid #d3e3e7;border-radius:4px;font-size:.78em}.download-options{display:flex;gap:10px;flex-wrap:wrap;margin-top:18px}.download-options a{text-decoration:none}/* The shared Mightora author component is a full-width band, not a page-shell card.
   Keep the background full bleed and constrain only the content inside it. */
mightora-author.author-wrap{
  display:block;
  width:100%;
  margin:0;
  background-color:#102b3d;
}
mightora-author.author-wrap .author-section-overlay{
  background:rgba(0,0,0,.46);
  padding:clamp(2.75rem,5vw,4.5rem) clamp(1.25rem,4vw,3rem);
}
mightora-author.author-wrap .author-section-inner{
  width:100%;
  max-width:900px;
  margin-inline:auto;
  display:flex;
  align-items:center;
  gap:clamp(1.5rem,4vw,2.75rem);
}
mightora-author.author-wrap .author-photos{
  min-width:112px;
  flex-shrink:0;
}
mightora-author.author-wrap .author-text{
  flex:1;
  min-width:0;
}
mightora-author.author-wrap .author-heading{
  color:#fff;
}
mightora-author.author-wrap .author-bio{
  max-width:67ch;
  color:rgba(255,255,255,.91);
}
mightora-author.author-wrap .author-bio strong{
  color:#fff;
}
mightora-author.author-wrap .author-links{
  row-gap:.625rem;
}
mightora-author.author-wrap .author-link{
  color:#fff;
  display:inline-flex;
  align-items:center;
  min-height:40px;
}
@media(max-width:620px){
  mightora-author.author-wrap .author-section-overlay{
    padding:2.75rem 1.25rem;
  }
  mightora-author.author-wrap .author-section-inner{
    flex-direction:column;
    gap:1.5rem;
    text-align:center;
  }
  mightora-author.author-wrap .author-photos{
    min-width:0;
    flex-direction:row;
    flex-wrap:wrap;
    justify-content:center;
    gap:1rem;
  }
  mightora-author.author-wrap .author-avatar{
    width:88px;
    height:88px;
  }
  mightora-author.author-wrap .author-blog-logo{
    width:96px;
    max-width:96px;
  }
  mightora-author.author-wrap .author-links{
    justify-content:center;
  }
}.badges{padding-top:27px;padding-bottom:25px;border-top:1px solid #e2ecef}.badges p{font-size:.77rem;color:#667b87;max-width:870px}.badge-links{display:flex;align-items:center;gap:9px;flex-wrap:wrap}.badge-links img{height:20px;max-width:180px}.toast{position:fixed;bottom:22px;right:22px;background:#123b4f;color:#fff;border-radius:10px;padding:11px 18px;font-size:.83rem;box-shadow:0 14px 45px #08223650;z-index:100;transform:translateY(100px);opacity:0;transition:.2s;pointer-events:none;max-width:min(95vw,400px)}.toast.visible{transform:translateY(0);opacity:1}.badges a:focus-visible{outline-offset:4px}
/* In case CDN components fail, retain accessible structure and meaningful visible fallback. */
mightora-header:not(:defined){background:#0c2638;color:white;min-height:64px;position:relative}mightora-header:not(:defined)::before{content:"MIGHTORA  /  DAX WORKBENCH";display:block;padding:20px max(20px,calc((100vw - 1220px)/2));font-size:.85rem;font-weight:800;letter-spacing:.07em}mightora-author:not(:defined){display:block;padding:20px 0}mightora-author:not(:defined) .author-section-inner{display:flex;gap:20px;align-items:center}mightora-author:not(:defined) .author-photos img{max-width:64px;border-radius:50%}mightora-author:not(:defined) .author-blog-logo{display:none}mightora-author:not(:defined) .author-bio{font-size:.82rem;color:#667985}mightora-footer:not(:defined){display:block;background:#102b3f;color:#c8dbe2;padding:30px 5%}mightora-footer:not(:defined) a{color:#6ce0df}
@media(max-width:1080px){.pattern-grid{grid-template-columns:repeat(2,minmax(0,1fr))}.hero{gap:30px}.visual-code{white-space:normal}.quick-jump-nav{padding:9px 24px}}@media(max-width:750px){.hero{grid-template-columns:1fr;min-height:unset;padding-top:38px;padding-bottom:38px}.hero-visual{max-width:620px}.quick-jump-nav{overflow-x:auto;gap:18px;scrollbar-width:thin}.quick-status{display:none}.work-grid,.review-grid,.compare-grid,.privacy-grid{grid-template-columns:minmax(0,1fr)}.explain-grid{grid-template-columns:1fr}.metric-row{grid-template-columns:repeat(2,minmax(0,1fr))}.section-heading{align-items:start;flex-direction:column}.pattern-filter{align-self:stretch}.source-panel textarea,.code-output{min-height:230px}.visual-code{padding:20px}.compare-grid textarea{min-height:140px}#compare,#patterns,#guide,#privacy{padding-top:65px}}@media(max-width:450px){.pattern-grid{grid-template-columns:1fr}.metric{padding:13px}.metric-value{font-size:1.4rem}.hero h1{font-size:2.8rem}.toolbar .btn{flex-grow:1}.section-heading h2{font-size:1.65rem}.quick-jump-nav{font-size:.72rem}.review-controls{align-items:flex-start;flex-direction:column}}@media(max-width:380px){
  html,body{max-width:100%;overflow-x:clip;}
  .diff-row{
    min-width:0;
    grid-template-columns:29px 29px 16px minmax(0,1fr);
    white-space:pre-wrap;
  }
  .diff-row .lineNo{padding:5px 2px;}
  .diff-row .lineTxt{
    min-width:0;
    padding:5px 6px;
    white-space:pre-wrap;
    overflow-wrap:anywhere;
  }
  .quick-jump-nav{display:none;}
}

/* Calculation pattern catalogue: readable examples, proof links and model caveats. */
.pattern-grid{grid-template-columns:repeat(3,minmax(0,1fr));gap:16px;align-items:stretch}
.pattern-filters{display:flex;align-items:flex-end;gap:11px;flex-wrap:wrap}
.pattern-filter{display:flex;flex-direction:column;gap:5px;align-self:auto;font-weight:650;color:#466475}
.pattern-filter select,.pattern-filter input{
  min-height:40px;border:1px solid #cbdfe5;border-radius:8px;
  background:#fff;color:var(--ink);padding:8px 10px;
}
.pattern-filter input{width:min(100%,240px);min-width:175px}
.pattern-count{font-size:.75rem;color:#597384;padding:10px 2px}
.pattern-intro{
  border:1px solid #cfe6e9;border-radius:10px;background:#eff8f8;
  padding:14px 17px;color:#3d6272;font-size:.82rem;line-height:1.65;margin-bottom:18px
}
.pattern-card[hidden]{display:none}
.pattern-card{gap:12px;padding:19px}
.pattern-eyebrow{display:flex;justify-content:space-between;align-items:center;gap:8px;flex-wrap:wrap}
.pattern-level{font-size:.69rem;color:#586f7c;background:#eef3f5;border-radius:999px;padding:3px 8px;font-weight:650}
.pattern-card h3{font-size:1.04rem;line-height:1.3}
.pattern-card p{flex:0 0 auto;line-height:1.55}
.pattern-code{
  display:block;margin:0;border-radius:8px;
  padding:12px 13px;background:#142c3d;color:#e2eff4;
  font:500 .73rem/1.6 ui-monospace,SFMono-Regular,Consolas,monospace;
  overflow:auto;max-width:100%;max-height:172px;white-space:pre;
}
.pattern-details{
  border-top:1px solid #e4eef0;border-bottom:1px solid #e4eef0;
  padding:10px 0;font-size:.76rem;
}
.pattern-details summary{
  cursor:pointer;color:#087484;font-weight:750;line-height:1.55;
}
.pattern-details summary:hover{text-decoration:underline}
.pattern-facts{margin:12px 0;display:grid;gap:10px}
.pattern-meta-row{display:grid;gap:2px}
.pattern-meta-row dt{font-weight:780;color:#244759}
.pattern-meta-row dd{margin:0;color:#536e7e;line-height:1.6;overflow-wrap:anywhere}
.pattern-docs{display:inline-flex;min-height:32px;align-items:center;color:#087484;font-weight:700}
.pattern-actions{display:flex;flex-wrap:wrap;gap:7px;margin-top:auto}
.pattern-actions .btn{line-height:1.4;padding:8px 10px;white-space:normal;text-align:center}
@media(max-width:1080px){.pattern-grid{grid-template-columns:repeat(2,minmax(0,1fr))}}
@media(max-width:750px){.pattern-filters{align-items:stretch;width:100%}.pattern-filter{width:100%}.pattern-filter select,.pattern-filter input{width:100%;min-width:0}.pattern-count{padding:2px 0}}
@media(max-width:580px){.pattern-grid{grid-template-columns:minmax(0,1fr)}}

@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}*,*:before,*:after{transition-duration:.01ms!important;animation-duration:.01ms!important}}