.BenchmarksPage_page__GhtBn{--lime:var(--site-accent);--cyan:var(--site-info);--ink:var(--site-ink);--muted:var(--site-muted);--line:var(--site-line);color:var(--ink);background:var(--site-canvas);font-family:var(--font-sans)}.BenchmarksPage_wrap__ye2kf{max-width:var(--site-width);margin:0 auto;padding:0 var(--site-gutter)}.BenchmarksPage_page__GhtBn a{text-decoration:none}.BenchmarksPage_page__GhtBn a:focus-visible,.BenchmarksPage_page__GhtBn summary:focus-visible{outline:2px solid var(--lime);outline-offset:6px}.BenchmarksPage_hero__7Jicw{display:grid;grid-template-columns:1.35fr 1fr;gap:70px;padding:90px 0 66px;align-items:center}.BenchmarksPage_chartHeading__2_Ywx small,.BenchmarksPage_coverage__MNgxm>small,.BenchmarksPage_environment__zRZ82>span,.BenchmarksPage_eyebrow__UiKsl,.BenchmarksPage_featureTop__HU_IX,.BenchmarksPage_heroMeta__IVIVG,.BenchmarksPage_history__JmnoR small,.BenchmarksPage_instrumentBottom__a5s_P,.BenchmarksPage_instrumentTop__To8gA,.BenchmarksPage_orangeLabel__Mgwda,.BenchmarksPage_outcomes__3pvev small,.BenchmarksPage_provenanceGrid__aR_yS small,.BenchmarksPage_statRail__MoUF4 small,.BenchmarksPage_status__dgJI8{font-family:monospace;font-size:10px;letter-spacing:.1em;line-height:1.6}.BenchmarksPage_status__dgJI8{display:flex;gap:10px;align-items:center;color:#b7c0b9}.BenchmarksPage_dot__3tA0q,.BenchmarksPage_status__dgJI8>span{display:inline-block;width:6px;height:6px;background:var(--lime);border-radius:50%;box-shadow:0 0 12px #c8fa7250;flex-shrink:0}.BenchmarksPage_status__dgJI8 i{font-style:normal;color:#536058;padding:0 5px}.BenchmarksPage_hero__7Jicw h1{font-size:clamp(55px,6.3vw,86px);font-weight:600;letter-spacing:-.075em;line-height:1.03;margin:28px 0 25px}.BenchmarksPage_hero__7Jicw h1 em{font-style:normal;color:var(--lime)}.BenchmarksPage_lede__K_Goi{color:var(--muted);font-size:16px;line-height:1.75;max-width:490px}.BenchmarksPage_actions__O0r9K{display:flex;gap:24px;align-items:center;margin-top:30px;font-size:12px;font-weight:600}.BenchmarksPage_primary__cuXYk{display:flex;justify-content:space-between;gap:22px;padding:15px 19px;background:var(--lime);color:#111909;border-radius:4px}.BenchmarksPage_primary__cuXYk:hover{background:#ddffab}.BenchmarksPage_secondary__CZThi{color:#d3d9d2}.BenchmarksPage_secondary__CZThi:hover{color:var(--lime)}.BenchmarksPage_heroMeta__IVIVG{display:flex;gap:9px;align-items:center;margin-top:30px;color:#8e9c92;font-size:8px;letter-spacing:.06em}.BenchmarksPage_heroMeta__IVIVG>span:not(.BenchmarksPage_dot__3tA0q){color:#4a574f}.BenchmarksPage_heroInstrument__zPdbd{border:1px solid #c8fa7228;border-radius:8px;background:radial-gradient(ellipse at 50% 46%,#c8fa7210,transparent 68%),#101617;box-shadow:0 20px 80px #0003;position:relative}.BenchmarksPage_instrumentBottom__a5s_P,.BenchmarksPage_instrumentTop__To8gA{display:flex;justify-content:space-between;align-items:center;padding:16px 18px;font-size:9px;color:#97a69d}.BenchmarksPage_instrumentTop__To8gA{border-bottom:1px solid var(--line)}.BenchmarksPage_instrumentBottom__a5s_P{border-top:1px solid var(--line)}.BenchmarksPage_lime__cZQ7u{color:var(--lime)}.BenchmarksPage_orange__l3wAG{color:#ffad98}.BenchmarksPage_ringWrap__GQaJ1{width:min(280px,85%);margin:15px auto 0;position:relative}.BenchmarksPage_ringWrap__GQaJ1 svg{width:100%}.BenchmarksPage_ringValue__ScC91{position:absolute;inset:0;display:flex;flex-direction:column;align-items:center;justify-content:center}.BenchmarksPage_ringValue__ScC91 strong{font-size:66px;line-height:1;letter-spacing:-.07em;font-weight:500}.BenchmarksPage_ringValue__ScC91 strong span{font-size:34px;color:#7a897d}.BenchmarksPage_ringValue__ScC91 small{font-family:monospace;font-size:9px;letter-spacing:.17em;color:var(--lime);margin-top:14px}.BenchmarksPage_instrumentCaption___OTHW{text-align:center;font-size:11px;color:#9eaaa2;margin:0 20px 24px}.BenchmarksPage_instrumentCaption___OTHW strong{display:block;color:#d2dbd1;font-weight:400;margin-top:3px}.BenchmarksPage_statRail__MoUF4{display:grid;grid-template-columns:repeat(4,1fr);border:1px solid var(--line);border-radius:6px;background:#101516}.BenchmarksPage_statRail__MoUF4 a{padding:24px 22px;border-right:1px solid var(--line);color:inherit}.BenchmarksPage_statRail__MoUF4 a:last-child{border-right:0}.BenchmarksPage_statRail__MoUF4 a:hover{background:#c8fa7207}.BenchmarksPage_statRail__MoUF4 small{font-size:8px;color:#a2b0a5}.BenchmarksPage_statRail__MoUF4 strong{display:block;font-size:39px;font-weight:500;letter-spacing:-.04em;line-height:1.15;margin:13px 0 8px}.BenchmarksPage_statRail__MoUF4 strong span{font-size:16px;color:#a5b19f;letter-spacing:-.02em}.BenchmarksPage_statRail__MoUF4 p{color:#8c9991;font-size:10px;line-height:1.5}.BenchmarksPage_measurementNote__gOuxr{color:#8b9990;font-size:10px;line-height:1.8;margin:14px 0 0;max-width:1000px}.BenchmarksPage_section__Fztr0{padding:80px 0;border-bottom:1px solid var(--line);scroll-margin-top:90px}.BenchmarksPage_eyebrow__UiKsl{display:flex;gap:12px;color:var(--lime);margin-bottom:20px;font-size:9px}.BenchmarksPage_eyebrow__UiKsl>span{color:#849382}.BenchmarksPage_sectionHeading__kbWVg{display:flex;align-items:end;justify-content:space-between;gap:50px;margin-bottom:32px}.BenchmarksPage_provenance__nOVWP h2,.BenchmarksPage_sectionHeading__kbWVg h2{font-size:42px;line-height:1.12;font-weight:500;letter-spacing:-.055em}.BenchmarksPage_sectionHeading__kbWVg h2 span{color:#8f9b91}.BenchmarksPage_sectionHeading__kbWVg>p{width:345px;max-width:100%;font-size:13px;line-height:1.8;color:var(--muted)}.BenchmarksPage_featureGrid__7Oh_l{display:grid;grid-template-columns:repeat(3,1fr);gap:14px}.BenchmarksPage_feature__U7pm_{border:1px solid var(--line);border-radius:7px;padding:23px;background:linear-gradient(155deg,#19201a60,#101516 55%);min-width:0}.BenchmarksPage_featureTop__HU_IX{display:flex;justify-content:space-between;align-items:center;color:var(--lime);font-size:8px;margin-bottom:25px}.BenchmarksPage_featureMark__G13Uj{display:grid;place-items:center;width:29px;height:29px;border:1px solid #c8fa7230;border-radius:5px;font-size:10px}.BenchmarksPage_feature__U7pm_ h3{font-size:19px;letter-spacing:-.03em;font-weight:500;margin-bottom:10px}.BenchmarksPage_feature__U7pm_>p{color:var(--muted);font-size:12px;line-height:1.8;min-height:65px}.BenchmarksPage_featureMetric__r4Gkf{margin-top:26px;font-size:52px;line-height:1;font-weight:400;letter-spacing:-.07em;color:var(--lime);font-variant-numeric:tabular-nums}.BenchmarksPage_featureMetric__r4Gkf span{margin-left:7px;font-size:20px;letter-spacing:-.02em;color:#a8b797}.BenchmarksPage_workload__lxHr1{font-size:10px;line-height:1.7;margin-top:14px;color:#d0d9ce;min-height:35px}.BenchmarksPage_range__3HvJ0{display:flex;justify-content:space-between;gap:6px;padding:14px 0;margin-top:8px;font-family:monospace;font-size:9px;color:#9aa995;border-bottom:1px solid var(--line)}.BenchmarksPage_samples__TxCtB{font-size:10px;color:#95a18f;margin-top:14px}.BenchmarksPage_samples__TxCtB summary{display:flex;justify-content:space-between;cursor:pointer}.BenchmarksPage_samples__TxCtB p{margin-top:12px;line-height:1.7;color:#ccd7c7}.BenchmarksPage_samples__TxCtB code{display:block;margin-top:8px;font-size:9px;overflow-wrap:anywhere}.BenchmarksPage_environment__zRZ82{display:flex;gap:24px;padding:21px 0;color:#91a08f}.BenchmarksPage_environment__zRZ82>span{flex-shrink:0;color:#c2cfc0;font-size:9px}.BenchmarksPage_environment__zRZ82 p{font-size:10px;line-height:1.8}.BenchmarksPage_allWorkloads_____jP{border:1px solid var(--line);border-radius:5px;background:#101516}.BenchmarksPage_allWorkloads_____jP>summary{display:flex;justify-content:space-between;gap:20px;cursor:pointer;padding:19px 22px;font-size:12px}.BenchmarksPage_allWorkloads_____jP>summary>span{color:var(--lime);font-family:monospace;font-size:10px}.BenchmarksPage_tableScroll__xjdCI{overflow:auto;padding:0 22px 20px}.BenchmarksPage_tableScroll__xjdCI table{width:100%;border-collapse:collapse;text-align:left;font-size:11px;min-width:650px}.BenchmarksPage_tableScroll__xjdCI caption{text-align:left;color:#9aab99;padding:10px 0 20px;font-size:10px}.BenchmarksPage_tableScroll__xjdCI th{color:#a2b49f;font-size:9px;text-transform:uppercase;padding:12px 8px}.BenchmarksPage_tableScroll__xjdCI td{border-top:1px solid var(--line);padding:12px 8px}.BenchmarksPage_tableScroll__xjdCI td:not(:first-child){white-space:nowrap;font-family:monospace}.BenchmarksPage_chartGrid__70jVY{display:grid;grid-template-columns:1fr 1fr;gap:16px}.BenchmarksPage_chartCard__s7g2Z{border:1px solid var(--line);border-radius:6px;background:#101516;padding:24px;min-width:0}.BenchmarksPage_chartHeading__2_Ywx{display:flex;justify-content:space-between;align-items:center;gap:10px}.BenchmarksPage_chartHeading__2_Ywx small{font-size:8px;color:#95a790}.BenchmarksPage_chartHeading__2_Ywx h3{font-size:16px;font-weight:500;letter-spacing:-.02em;margin-top:5px}.BenchmarksPage_chartKeyCyan__0Anj_,.BenchmarksPage_chartKey__L0XoC{font-family:monospace;font-size:9px;color:var(--lime);white-space:nowrap}.BenchmarksPage_chartKeyCyan__0Anj_{color:var(--cyan)}.BenchmarksPage_chart__afRDf{width:100%;margin-top:24px;overflow:visible}.BenchmarksPage_chart__afRDf text{font-family:monospace;fill:#a2b39c;font-size:10px}.BenchmarksPage_chartCard__s7g2Z>p{font-size:10px;line-height:1.8;color:#98a593;margin-top:10px}.BenchmarksPage_defenseGrid__uW_6j{display:grid;grid-template-columns:1fr 1fr;gap:16px}.BenchmarksPage_defense__3LVQN{padding:30px;border:1px solid #e39e7c25;background:linear-gradient(125deg,#251b1460,#101516 60%);border-radius:6px}.BenchmarksPage_orangeLabel__Mgwda{color:#e9ac95;font-size:9px}.BenchmarksPage_defense__3LVQN h3{font-size:28px;letter-spacing:-.04em;line-height:1.15;margin:22px 0 14px;font-weight:500}.BenchmarksPage_defense__3LVQN>p{color:#b0aca2;font-size:12px;line-height:1.8;max-width:390px;min-height:65px}.BenchmarksPage_verdictRow__x_1gs{display:flex;justify-content:space-between;border-top:1px solid var(--line);padding:14px 0;font-size:12px}.BenchmarksPage_verdictRow__x_1gs b{font-family:monospace;font-size:11px}.BenchmarksPage_evidence__fbGsv{border-top:1px solid var(--line);padding-top:16px;font-size:11px;color:#c0b6a9}.BenchmarksPage_evidence__fbGsv summary{cursor:pointer}.BenchmarksPage_evidence__fbGsv pre{white-space:pre-wrap;overflow-wrap:anywhere;padding:15px;background:#080d0c;border:1px solid var(--line);margin-top:15px;font-size:10px;line-height:1.8}.BenchmarksPage_dogfoodGrid__HqjAw{display:grid;grid-template-columns:1.1fr 1fr;gap:16px}.BenchmarksPage_coverage__MNgxm,.BenchmarksPage_history__JmnoR{background:#101516;border:1px solid var(--line);border-radius:6px;padding:26px;min-width:0}.BenchmarksPage_historyTop__PI9dK{display:flex;align-items:center;justify-content:space-between;gap:12px}.BenchmarksPage_coverage__MNgxm>small,.BenchmarksPage_history__JmnoR small,.BenchmarksPage_outcomes__3pvev small{color:#96a891;font-size:8px}.BenchmarksPage_historyTop__PI9dK strong{display:block;font-size:57px;font-weight:500;letter-spacing:-.065em;margin-top:8px;line-height:1}.BenchmarksPage_historyTop__PI9dK strong span{font-size:18px;color:#a0b398;letter-spacing:-.025em}.BenchmarksPage_pill__M9LXR{font-family:monospace;font-size:10px;color:var(--lime);border:1px solid #c8fa7225;border-radius:20px;padding:5px 10px}.BenchmarksPage_historyBars__2h83I{display:flex;gap:9px;align-items:end;height:200px;padding:10px 0 0}.BenchmarksPage_historyBars__2h83I>div{display:flex;flex:1;min-width:0;flex-direction:column;align-items:center;justify-content:end;gap:7px;font-family:monospace;font-size:10px;color:#b4c4aa}.BenchmarksPage_historyBars__2h83I i{width:100%;display:block;background:linear-gradient(#c8fa72,#c8fa7235);border-top:2px solid var(--lime);border-radius:2px 2px 0 0}.BenchmarksPage_historyBars__2h83I small{font-size:9px;letter-spacing:0}.BenchmarksPage_coverage__MNgxm>p,.BenchmarksPage_history__JmnoR>p{font-size:10px;line-height:1.8;margin-top:20px;color:#9aab92}.BenchmarksPage_coverage__MNgxm h3{font-size:29px;font-weight:500;letter-spacing:-.04em;margin:6px 0 20px}.BenchmarksPage_coverage__MNgxm h3 span{font-size:12px;color:#acbaa4;letter-spacing:0}.BenchmarksPage_area__uwCdE{display:flex;position:relative;align-items:center;gap:10px;min-height:20px;font-size:10px;font-family:monospace}.BenchmarksPage_area__uwCdE>span{width:95px;color:#a3b59c}.BenchmarksPage_area__uwCdE>i{display:block;height:4px;background:#b9e77c}.BenchmarksPage_area__uwCdE b{font-weight:400;color:#d4e7c5}.BenchmarksPage_outcomes__3pvev{display:flex;align-items:center;justify-content:space-between;gap:30px;border:1px solid var(--line);border-radius:6px;margin-top:16px;padding:23px 26px;background:#101516}.BenchmarksPage_outcomes__3pvev h3{font-size:30px;letter-spacing:-.04em;margin-top:4px}.BenchmarksPage_outcomes__3pvev h3 span{font-size:15px;color:#b1bfab;letter-spacing:-.01em}.BenchmarksPage_outcomes__3pvev p{font-size:10px;color:#9aaa91;margin-top:5px}.BenchmarksPage_outcomeCells__37DzP{display:flex;gap:7px}.BenchmarksPage_outcomeCells__37DzP a{display:flex;flex-direction:column;align-items:center;justify-content:center;width:45px;height:58px;border-radius:4px;border:1px solid}.BenchmarksPage_outcomeCells__37DzP span{font-size:19px}.BenchmarksPage_outcomeCells__37DzP small{color:inherit;font-size:7px;letter-spacing:.02em}.BenchmarksPage_passCell__3yWl8{background:#c8fa720b;color:var(--lime);border-color:#c8fa7220!important}.BenchmarksPage_failCell__nl4qS{background:#fb927b0b;color:#ffad98;border-color:#fb927b30!important}.BenchmarksPage_originalProof__vNrCs{margin-top:16px;border:1px solid var(--line);background:#101516;border-radius:6px;overflow:hidden}.BenchmarksPage_originalProof__vNrCs>summary{display:flex;justify-content:space-between;align-items:center;gap:20px;padding:23px 26px;cursor:pointer;font-size:14px}.BenchmarksPage_originalProof__vNrCs small{display:block;color:#99aa90;font-size:10px;line-height:1.7;margin-top:4px}.BenchmarksPage_originalProof__vNrCs b{color:var(--lime);font-family:monospace;font-size:9px;white-space:nowrap}.BenchmarksPage_standalone__vaGjH{display:inline-block;color:var(--lime);font-size:12px;margin:0 26px 20px}.BenchmarksPage_originalProof__vNrCs iframe{width:100%;border:none;height:82vh;min-height:600px}.BenchmarksPage_sessions__MWFvW{border-top:1px solid var(--line)}.BenchmarksPage_sessions__MWFvW>a{display:flex;gap:22px;align-items:center;border-bottom:1px solid var(--line);padding:20px 8px;color:var(--ink)}.BenchmarksPage_sessions__MWFvW>a:hover{background:#c8fa7205}.BenchmarksPage_sessionNumber__DUwT6{color:#8b9c83;font:10px monospace}.BenchmarksPage_sessions__MWFvW strong{font-size:14px;font-weight:400}.BenchmarksPage_sessions__MWFvW small{display:block;font:9px monospace;color:#9cae93;margin-top:7px}.BenchmarksPage_sessionDate__ZwAST{margin-left:auto;font:10px monospace;color:#a0b096}.BenchmarksPage_sessionArrow__nnbaG{font-size:18px;color:var(--lime)}.BenchmarksPage_findings__XR_or{display:flex;gap:40px;align-items:center;margin-top:30px;border:1px solid #ffad9825;background:#20171150;border-radius:6px;padding:27px}.BenchmarksPage_findingCount__LQP2q{display:flex;align-items:center;gap:13px;color:#ffb198;font-size:47px;letter-spacing:-.07em;line-height:1}.BenchmarksPage_findingCount__LQP2q span{font:9px/1.6 monospace;letter-spacing:0;width:86px}.BenchmarksPage_findings__XR_or h3{font-size:15px;font-weight:500;margin-bottom:8px}.BenchmarksPage_findings__XR_or p{font:10px/1.8 monospace;color:#baad9c}.BenchmarksPage_findings__XR_or a{display:block;font-size:11px;color:#ffc1a9;margin-top:10px}.BenchmarksPage_findings__XR_or small{display:block;font-size:10px;color:#aeaa9d;margin-top:10px;line-height:1.6}.BenchmarksPage_provenance__nOVWP{padding:65px 0 85px}.BenchmarksPage_provenance__nOVWP>p{font-size:13px;color:var(--muted);line-height:1.8;max-width:630px;margin-top:15px}.BenchmarksPage_command__ughtt{display:flex;gap:14px;background:#111817;border:1px solid var(--line);padding:19px 22px;border-radius:5px;margin-top:25px;font-size:12px;overflow-x:auto;white-space:nowrap}.BenchmarksPage_command__ughtt>span{color:#6b8065}.BenchmarksPage_command__ughtt code{color:var(--lime)}.BenchmarksPage_provenanceGrid__aR_yS{display:grid;grid-template-columns:1fr 1fr;gap:35px;margin-top:26px}.BenchmarksPage_provenanceGrid__aR_yS>div{min-width:0}.BenchmarksPage_provenanceGrid__aR_yS small{display:block;color:#8c9c83;font-size:8px;margin-bottom:8px}.BenchmarksPage_provenanceGrid__aR_yS time{display:block;font:11px monospace;color:#becab5;margin-bottom:20px}.BenchmarksPage_digest__aGrpd,.BenchmarksPage_provenanceGrid__aR_yS a{font:10px/1.8 monospace;color:#b5c9a7;overflow-wrap:anywhere}.BenchmarksPage_digest__aGrpd{margin:0 0 15px}@media (max-width:1000px){.BenchmarksPage_hero__7Jicw{gap:35px}.BenchmarksPage_wrap__ye2kf{padding:0 28px}.BenchmarksPage_hero__7Jicw h1{font-size:clamp(48px,6.5vw,67px)}.BenchmarksPage_actions__O0r9K{gap:16px;font-size:11px}.BenchmarksPage_heroMeta__IVIVG{flex-wrap:wrap}.BenchmarksPage_feature__U7pm_{padding:18px}.BenchmarksPage_featureMetric__r4Gkf{font-size:45px}.BenchmarksPage_statRail__MoUF4 a{padding:21px 16px}.BenchmarksPage_statRail__MoUF4 strong{font-size:34px}}@media (max-width:760px){.BenchmarksPage_wrap__ye2kf{padding:0 22px}.BenchmarksPage_hero__7Jicw{grid-template-columns:1fr;padding:45px 0 35px;gap:35px}.BenchmarksPage_hero__7Jicw h1{font-size:clamp(53px,12vw,78px);margin-top:22px}.BenchmarksPage_heroInstrument__zPdbd{max-width:480px;width:100%;justify-self:center}.BenchmarksPage_ringWrap__GQaJ1{width:225px;margin-top:6px}.BenchmarksPage_ringValue__ScC91 strong{font-size:57px}.BenchmarksPage_status__dgJI8{font-size:9px}.BenchmarksPage_lede__K_Goi{font-size:14px}.BenchmarksPage_actions__O0r9K{flex-wrap:wrap;gap:20px;font-size:11px}.BenchmarksPage_heroMeta__IVIVG{font-size:7px;margin-top:22px}.BenchmarksPage_statRail__MoUF4{grid-template-columns:1fr 1fr}.BenchmarksPage_statRail__MoUF4 a{border-bottom:1px solid var(--line)}.BenchmarksPage_statRail__MoUF4 a:nth-child(2){border-right:0}.BenchmarksPage_statRail__MoUF4 a:nth-child(n+3){border-bottom:0}.BenchmarksPage_statRail__MoUF4 strong{font-size:35px}.BenchmarksPage_statRail__MoUF4 strong span{font-size:13px}.BenchmarksPage_statRail__MoUF4 small{font-size:7px;letter-spacing:.04em}.BenchmarksPage_statRail__MoUF4 p{font-size:9px}.BenchmarksPage_section__Fztr0{padding:55px 0}.BenchmarksPage_sectionHeading__kbWVg{display:block;margin-bottom:25px}.BenchmarksPage_provenance__nOVWP h2,.BenchmarksPage_sectionHeading__kbWVg h2{font-size:36px}.BenchmarksPage_sectionHeading__kbWVg>p{width:100%;margin-top:18px;font-size:12px}.BenchmarksPage_chartGrid__70jVY,.BenchmarksPage_defenseGrid__uW_6j,.BenchmarksPage_dogfoodGrid__HqjAw,.BenchmarksPage_featureGrid__7Oh_l,.BenchmarksPage_provenanceGrid__aR_yS{grid-template-columns:1fr}.BenchmarksPage_feature__U7pm_{padding:24px}.BenchmarksPage_feature__U7pm_>p{min-height:0}.BenchmarksPage_featureMetric__r4Gkf{font-size:61px;margin-top:22px}.BenchmarksPage_featureTop__HU_IX{margin-bottom:15px}.BenchmarksPage_workload__lxHr1{min-height:0}.BenchmarksPage_environment__zRZ82{display:block}.BenchmarksPage_environment__zRZ82 p{margin-top:8px}.BenchmarksPage_allWorkloads_____jP>summary{font-size:11px;flex-direction:column;gap:7px}.BenchmarksPage_chartCard__s7g2Z{padding:19px 15px}.BenchmarksPage_chartHeading__2_Ywx h3{font-size:15px}.BenchmarksPage_chartHeading__2_Ywx small{font-size:7px}.BenchmarksPage_chartKeyCyan__0Anj_,.BenchmarksPage_chartKey__L0XoC{font-size:8px}.BenchmarksPage_chart__afRDf text{font-size:12px}.BenchmarksPage_defense__3LVQN{padding:24px}.BenchmarksPage_defense__3LVQN>p{min-height:0;margin-bottom:20px}.BenchmarksPage_outcomes__3pvev{display:block;padding:23px}.BenchmarksPage_outcomeCells__37DzP{margin-top:20px;gap:7px}.BenchmarksPage_outcomeCells__37DzP a{flex:1;width:auto}.BenchmarksPage_originalProof__vNrCs>summary{align-items:start;padding:20px;font-size:13px;flex-direction:column;gap:13px}.BenchmarksPage_sessions__MWFvW>a{gap:12px;padding:18px 0}.BenchmarksPage_sessions__MWFvW strong{font-size:12px;overflow-wrap:anywhere}.BenchmarksPage_sessions__MWFvW>a>div{min-width:0;flex:1}.BenchmarksPage_sessionDate__ZwAST{display:none}.BenchmarksPage_sessions__MWFvW small{font-size:8px}.BenchmarksPage_findings__XR_or{display:block;padding:23px}.BenchmarksPage_findingCount__LQP2q{margin-bottom:20px}.BenchmarksPage_provenance__nOVWP{padding:50px 0}.BenchmarksPage_command__ughtt{padding:16px;font-size:10px}.BenchmarksPage_desktopBreak__Y3PSY{display:none}}