@charset "UTF-8";
:root {
  --paper:#f6f3ea;
  --ink:#292e28;
  --muted:#63665c;
  --rule:#d6d5c8;
  --rust:#98482f;
  --green:#355a43;
  --serif:Georgia,'Times New Roman',serif;
  --sans:system-ui,-apple-system,BlinkMacSystemFont,'Segoe UI',sans-serif;
  --mono:ui-monospace,SFMono-Regular,Consolas,monospace}
  * {
    box-sizing:border-box}
    html {
      scroll-behavior:smooth;
      scroll-padding-top:30px}
      body {
        margin:0;
        background:var(--paper);
        color:var(--ink);
        font:16px/1.65 var(--sans);
        -webkit-font-smoothing:antialiased}
        a {
          color:inherit;
          text-underline-offset:4px;
          text-decoration-thickness:1px}
          a:hover {
            color:var(--rust)}
            button,input {
              font:inherit}
              button,a,input,summary {
                -webkit-tap-highlight-color:transparent}
                button {
                  cursor:pointer}
                  button:focus-visible,a:focus-visible,input:focus-visible,summary:focus-visible {
                    outline:2px solid var(--rust);
                    outline-offset:5px}
                    ::selection {
                      background:#e5cbb5}
                      h1,h2,h3,p {
                        margin-top:0}
                        h1,h2,h3 {
                          font-weight:400}
                          h1,h2 {
                            font-family:var(--serif);
                            letter-spacing:-.055em;
                            line-height:1.07}
                            h2 {
                              font-size:clamp(38px,4.2vw,57px);
                              margin-bottom:30px}
                              h3 {
                                font-size:18px;
                                line-height:1.4}
                                em {
                                  font-weight:400;
                                  color:var(--rust)}
                                  [hidden] {
                                    display:none!important}
                                    .wrap {
                                      width:min(1180px,calc(100% - 96px));
                                      margin-inline:auto}
                                      .sr-only {
                                        position:absolute;
                                        width:1px;
                                        height:1px;
                                        padding:0;
                                        margin:-1px;
                                        overflow:hidden;
                                        clip:rect(0,0,0,0);
                                        white-space:nowrap;
                                        border:0}
                                        .skip-link {
                                          position:absolute;
                                          top:-70px;
                                          left:16px;
                                          background:var(--ink);
                                          color:white;
                                          padding:12px;
                                          z-index:10}
                                          .skip-link:focus {
                                            top:8px}
                                            .site-header {
                                              height:122px;
                                              display:flex;
                                              align-items:center;
                                              justify-content:space-between;
                                              border-bottom:1px solid var(--rule)}
                                              .brand {
                                                display:flex;
                                                align-items:center;
                                                gap:16px;
                                                text-decoration:none;
                                                font-size:14px;
                                                font-weight:600;
                                                line-height:1.25;
                                                letter-spacing:-.025em}
                                                .mark {
                                                  font-family:var(--serif);
                                                  font-size:54px;
                                                  line-height:1}
                                                  .mark span {
                                                    color:var(--rust)}
                                                    nav {
                                                      display:flex;
                                                      align-items:center;
                                                      gap:32px;
                                                      font-size:13px}
                                                      nav a {
                                                        text-decoration:none}
                                                        .nav-join {
                                                          margin-left:18px;
                                                          border-bottom:1px solid var(--ink);
                                                          padding-block:5px}
                                                          .nav-join span {
                                                            margin-left:15px}
                                                            .hero {
                                                              padding-block:89px 83px;
                                                              display:grid;
                                                              grid-template-columns:1.65fr 1fr;
                                                              gap:75px;
                                                              align-items:center}
                                                              .eyebrow,.section-label>span {
                                                                font:10px/1.6 var(--mono);
                                                                letter-spacing:.12em;
                                                                text-transform:uppercase}
                                                                .eyebrow {
                                                                  margin-bottom:28px}
                                                                  .small-dot {
                                                                    display:inline-block;
                                                                    width:6px;
                                                                    height:6px;
                                                                    background:var(--rust);
                                                                    border-radius:50%;
                                                                    margin-right:9px;
                                                                    vertical-align:middle}
                                                                    h1 {
                                                                      font-size:clamp(55px,6vw,83px);
                                                                      margin-bottom:30px}
                                                                      .hero-description {
                                                                        max-width:570px;
                                                                        font-size:17px;
                                                                        line-height:1.8;
                                                                        color:#51584e}
                                                                        .actions {
                                                                          display:flex;
                                                                          align-items:center;
                                                                          gap:27px;
                                                                          margin-top:30px}
                                                                          .button {
                                                                            display:inline-flex;
                                                                            align-items:center;
                                                                            gap:25px;
                                                                            padding:13px 20px;
                                                                            background:var(--ink);
                                                                            color:var(--paper);
                                                                            text-decoration:none;
                                                                            font-size:13px}
                                                                            .button:hover {
                                                                              background:var(--green);
                                                                              color:white}
                                                                              .text-link {
                                                                                font-size:13px;
                                                                                border:0;
                                                                                padding:0;
                                                                                background:none;
                                                                                color:inherit;
                                                                                text-decoration:underline;
                                                                                text-underline-offset:5px}
                                                                                .text-link span {
                                                                                  margin-left:8px}
                                                                                  .hero-footnote {
                                                                                    font-size:11px;
                                                                                    color:var(--muted);
                                                                                    margin:23px 0 0}
                                                                                    .notebook {
                                                                                      position:relative;
                                                                                      transform:rotate(3deg);
                                                                                      padding:27px 28px 24px;
                                                                                      background:#eee8d8;
                                                                                      border:1px solid #d5cbb8;
                                                                                      box-shadow:5px 7px 0 #e9e4d7,6px 8px 0 #d8d0bf;
                                                                                      max-width:355px;
                                                                                      width:100%;
                                                                                      justify-self:end}
                                                                                      .notebook:before {
                                                                                        content:'';
                                                                                        position:absolute;
                                                                                        top:-13px;
                                                                                        left:38%;
                                                                                        width:92px;
                                                                                        height:26px;
                                                                                        background:#d5ccb3a6;
                                                                                        transform:rotate(-8deg)}
                                                                                        .notebook-top {
                                                                                          display:flex;
                                                                                          justify-content:space-between;
                                                                                          font:9px var(--mono);
                                                                                          letter-spacing:.1em;
                                                                                          color:#676656;
                                                                                          padding-bottom:24px;
                                                                                          border-bottom:1px solid #c9c2b0}
                                                                                          .notebook-title {
                                                                                            font:32px/1.2 var(--serif);
                                                                                            letter-spacing:-.04em;
                                                                                            margin:28px 0 12px}
                                                                                            .handwritten {
                                                                                              font:italic 16px var(--serif);
                                                                                              color:var(--rust);
                                                                                              margin-bottom:26px}
                                                                                              .note-line {
                                                                                                padding:11px 0;
                                                                                                display:flex;
                                                                                                justify-content:space-between;
                                                                                                border-bottom:1px solid #cec8b9;
                                                                                                font:19px var(--serif)}
                                                                                                .pencil-check {
                                                                                                  color:var(--green);
                                                                                                  font-size:24px;
                                                                                                  line-height:1;
                                                                                                  transform:rotate(-8deg)}
                                                                                                  .note-caption {
                                                                                                    font-size:11px;
                                                                                                    line-height:1.65;
                                                                                                    color:#626154;
                                                                                                    margin:16px 0 34px}
                                                                                                    .note-bottom {
                                                                                                      display:flex;
                                                                                                      justify-content:space-between;
                                                                                                      align-items:center;
                                                                                                      font:10px var(--mono);
                                                                                                      color:#676656}
                                                                                                      .qed {
                                                                                                        width:9px;
                                                                                                        height:9px;
                                                                                                        background:var(--ink)}
                                                                                                        .issue-strip {
                                                                                                          display:flex;
                                                                                                          justify-content:space-between;
                                                                                                          gap:15px;
                                                                                                          padding-block:18px;
                                                                                                          border-block:1px solid var(--rule);
                                                                                                          font:9px/1.6 var(--mono);
                                                                                                          letter-spacing:.06em}
                                                                                                          .issue-strip>:nth-child(2) {
                                                                                                            font:italic 14px var(--serif);
                                                                                                            letter-spacing:0}
                                                                                                            .section {
                                                                                                              padding-block:90px}
                                                                                                              .editorial {
                                                                                                                display:grid;
                                                                                                                grid-template-columns:1fr 2.3fr;
                                                                                                                gap:65px}
                                                                                                                .section-label {
                                                                                                                  padding-top:10px}
                                                                                                                  .section-label p {
                                                                                                                    font:italic 18px var(--serif);
                                                                                                                    color:var(--muted);
                                                                                                                    margin-top:13px}
                                                                                                                    .editorial-body {
                                                                                                                      max-width:740px}
                                                                                                                      .editorial-body>p {
                                                                                                                        max-width:675px;
                                                                                                                        color:#545a50;
                                                                                                                        font-size:15px;
                                                                                                                        line-height:1.9}
                                                                                                                        .editorial-body>.lead {
                                                                                                                          font:22px/1.55 var(--serif);
                                                                                                                          color:var(--ink);
                                                                                                                          margin-bottom:24px}
                                                                                                                          .editorial-body a {
                                                                                                                            color:var(--rust)}
                                                                                                                            blockquote {
                                                                                                                              font:27px/1.45 var(--serif);
                                                                                                                              letter-spacing:-.025em;
                                                                                                                              margin:34px 0 38px;
                                                                                                                              padding-left:25px;
                                                                                                                              border-left:2px solid var(--rust)}
                                                                                                                              .principles {
                                                                                                                                display:grid;
                                                                                                                                grid-template-columns:repeat(3,1fr);
                                                                                                                                gap:28px;
                                                                                                                                padding-top:28px;
                                                                                                                                border-top:1px solid var(--rule)}
                                                                                                                                .principles>div>span {
                                                                                                                                  font:italic 21px var(--serif);
                                                                                                                                  color:var(--rust)}
                                                                                                                                  .principles h3 {
                                                                                                                                    font-size:14px;
                                                                                                                                    font-weight:600;
                                                                                                                                    margin:10px 0}
                                                                                                                                    .principles p {
                                                                                                                                      font-size:12px;
                                                                                                                                      line-height:1.8;
                                                                                                                                      color:var(--muted);
                                                                                                                                      margin:0}
    .editorial-body {
      grid-row:span 2}
    .sidenote {
      grid-column:1;
      align-self:start;
      margin-top:36px;
      padding:22px 22px 20px;
      background:#eee8d8;
      border:1px solid #d5cbb8;
      box-shadow:4px 5px 0 #e9e4d7}
    .sidenote h3 {
      font:20px/1.3 var(--serif);
      letter-spacing:-.02em;
      margin:10px 0 12px}
    .sidenote p {
      font-size:12.5px;
      line-height:1.75;
      color:#545a50;
      margin:0 0 12px}
    .sidenote p:last-child {
      margin-bottom:0}
    .sidenote a {
      color:var(--rust)}
                                                                                                                                      .results-section {
                                                                                                                                        background:#edeee5;
                                                                                                                                        border-block:1px solid var(--rule)}
                                                                                                                                        .section-heading {
                                                                                                                                          display:flex;
                                                                                                                                          justify-content:space-between;
                                                                                                                                          align-items:flex-end;
                                                                                                                                          gap:30px;
                                                                                                                                          margin-bottom:25px}
                                                                                                                                          .section-heading h2 {
                                                                                                                                            margin-bottom:0}
                                                                                                                                            .section-heading .eyebrow {
                                                                                                                                              margin-bottom:18px}
                                                                                                                                              .section-heading>p {
                                                                                                                                                font-size:13px;
                                                                                                                                                line-height:1.8;
                                                                                                                                                color:var(--muted);
                                                                                                                                                margin-bottom:3px;
                                                                                                                                                max-width:290px}
                                                                                                                                                .results-intro {
                                                                                                                                                  max-width:730px;
                                                                                                                                                  color:var(--muted);
                                                                                                                                                  font-size:14px;
                                                                                                                                                  margin-bottom:33px}
                                                                                                                                                  .score-controls {
                                                                                                                                                    display:flex;
                                                                                                                                                    align-items:center;
                                                                                                                                                    justify-content:space-between;
                                                                                                                                                    gap:18px;
                                                                                                                                                    margin-bottom:18px;
                                                                                                                                                    flex-wrap:wrap}
                                                                                                                                                    .filters {
                                                                                                                                                      display:flex;
                                                                                                                                                      gap:6px;
                                                                                                                                                      flex-wrap:wrap}
                                                                                                                                                      .filter {
                                                                                                                                                        border:1px solid #c5c9bb;
                                                                                                                                                        background:transparent;
                                                                                                                                                        font-size:11px;
                                                                                                                                                        padding:9px 12px;
                                                                                                                                                        border-radius:3px;
                                                                                                                                                        color:var(--ink);
                                                                                                                                                        display:flex;
                                                                                                                                                        align-items:center;
                                                                                                                                                        gap:9px;
                                                                                                                                                        min-height:40px}
                                                                                                                                                        .filter[aria-pressed=true] {
                                                                                                                                                          background:var(--ink);
                                                                                                                                                          border-color:var(--ink);
                                                                                                                                                          color:var(--paper)}
                                                                                                                                                          .filter:hover {
                                                                                                                                                            border-color:var(--ink)}
                                                                                                                                                            .filter-count {
                                                                                                                                                              font:10px var(--mono);
                                                                                                                                                              opacity:.8}
                                                                                                                                                              .search {
                                                                                                                                                                display:flex;
                                                                                                                                                                align-items:center;
                                                                                                                                                                gap:8px;
                                                                                                                                                                padding:6px 10px;
                                                                                                                                                                border-bottom:1px solid #9ca391;
                                                                                                                                                                width:200px}
                                                                                                                                                                .search>span[aria-hidden] {
                                                                                                                                                                  font-size:24px;
                                                                                                                                                                  line-height:1}
                                                                                                                                                                  .search input {
                                                                                                                                                                    width:100%;
                                                                                                                                                                    min-width:0;
                                                                                                                                                                    background:none;
                                                                                                                                                                    border:0;
                                                                                                                                                                    font-size:12px;
                                                                                                                                                                    color:var(--ink);
                                                                                                                                                                    padding:5px 0}
                                                                                                                                                                    .search input::placeholder {
                                                                                                                                                                      color:#676d60}
                                                                                                                                                                      .result-count {
                                                                                                                                                                        font:10px var(--mono);
                                                                                                                                                                        color:var(--muted);
                                                                                                                                                                        margin-bottom:14px}
                                                                                                                                                                        .table-scroll {
                                                                                                                                                                          width:100%}
                                                                                                                                                                          table {
                                                                                                                                                                            width:100%;
                                                                                                                                                                            border-collapse:collapse;
                                                                                                                                                                            text-align:left;
                                                                                                                                                                            font-size:12px}
                                                                                                                                                                            thead {
                                                                                                                                                                              font:9px/1.5 var(--mono);
                                                                                                                                                                              text-transform:uppercase;
                                                                                                                                                                              letter-spacing:.06em;
                                                                                                                                                                              border-block:1px solid #adb4a1}
                                                                                                                                                                              th,td {
                                                                                                                                                                                padding:17px 12px;
                                                                                                                                                                                vertical-align:middle}
                                                                                                                                                                                thead th {
                                                                                                                                                                                  font-weight:400;
                                                                                                                                                                                  padding-block:13px}
                                                                                                                                                                                  th:first-child {
                                                                                                                                                                                    padding-left:0}
                                                                                                                                                                                    tbody tr {
                                                                                                                                                                                      border-bottom:1px solid #d1d5c8}
                                                                                                                                                                                      tbody tr:hover {
                                                                                                                                                                                        background:#e6e9dc}
                                                                                                                                                                                        .problem-id {
                                                                                                                                                                                          font:19px var(--serif);
                                                                                                                                                                                          width:12%;
                                                                                                                                                                                          font-variant-numeric:lining-nums}
                                                                                                                                                                                          .status {
                                                                                                                                                                                            display:inline-flex;
                                                                                                                                                                                            align-items:center;
                                                                                                                                                                                            gap:7px;
                                                                                                                                                                                            white-space:nowrap;
                                                                                                                                                                                            font-size:10px;
                                                                                                                                                                                            border:1px solid;
                                                                                                                                                                                            padding:3px 8px;
                                                                                                                                                                                            border-radius:3px}
                                                                                                                                                                                            .status:before {
                                                                                                                                                                                              content:'';
                                                                                                                                                                                              width:5px;
                                                                                                                                                                                              height:5px;
                                                                                                                                                                                              border-radius:50%;
                                                                                                                                                                                              background:currentColor}
                                                                                                                                                                                              .status-accepted {
                                                                                                                                                                                                color:#31583b;
                                                                                                                                                                                                background:#e0e8d9;
                                                                                                                                                                                                border-color:#b5c8aa}
                                                                                                                                                                                                .status-checked {
                                                                                                                                                                                                  color:#535e43;
                                                                                                                                                                                                  background:#e7eadc;
                                                                                                                                                                                                  border-color:#c4cdb5}
                                                                                                                                                                                                  .status-pending {
                                                                                                                                                                                                    color:#885737;
                                                                                                                                                                                                    background:#f2e7d6;
                                                                                                                                                                                                    border-color:#d9c6a7}
                                                                                                                                                                                                    .status-pending:before {
                                                                                                                                                                                                      background:none;
                                                                                                                                                                                                      border:1px solid currentColor}
    .status-external {
      color:#5b5f57;
      background:#ebeae1;
      border-color:#cfcec1}
                                                                                                                                                                                                      .undocumented {
                                                                                                                                                                                                        color:#687060;
                                                                                                                                                                                                        font-size:11px}
                                                                                                                                                                                                        .publication-pending {
                                                                                                                                                                                                          color:#707466;
                                                                                                                                                                                                          font-size:10px;
                                                                                                                                                                                                          font-style:italic}
                                                                                                                                                                                                          .setup-line {
                                                                                                                                                                                                            display:block;
                                                                                                                                                                                                            font-size:11px}
                                                                                                                                                                                                            .record-notes {
                                                                                                                                                                                                              display:flex;
                                                                                                                                                                                                              justify-content:space-between;
                                                                                                                                                                                                              gap:30px;
                                                                                                                                                                                                              font-size:10px;
                                                                                                                                                                                                              color:var(--muted);
                                                                                                                                                                                                              margin-top:20px}
                                                                                                                                                                                                              .record-notes p:last-child {
                                                                                                                                                                                                                max-width:350px;
                                                                                                                                                                                                                text-align:right}
                                                                                                                                                                                                                .status-guide {
                                                                                                                                                                                                                  font-size:12px;
                                                                                                                                                                                                                  border-top:1px solid #d1d5c8;
                                                                                                                                                                                                                  padding-top:17px;
                                                                                                                                                                                                                  margin-top:12px}
                                                                                                                                                                                                                  .status-guide summary {
                                                                                                                                                                                                                    cursor:pointer;
                                                                                                                                                                                                                    width:fit-content}
                                                                                                                                                                                                                    .status-guide dl {
                                                                                                                                                                                                                      max-width:760px;
                                                                                                                                                                                                                      margin-block:20px 0}
                                                                                                                                                                                                                      .status-guide dt {
                                                                                                                                                                                                                        font-weight:600;
                                                                                                                                                                                                                        margin-top:15px}
                                                                                                                                                                                                                        .status-guide dd {
                                                                                                                                                                                                                          margin:5px 0;
                                                                                                                                                                                                                          color:var(--muted)}
                                                                                                                                                                                                                          .empty-state {
                                                                                                                                                                                                                            text-align:center;
                                                                                                                                                                                                                            padding:40px 0;
                                                                                                                                                                                                                            border-block:1px solid var(--rule)}
                                                                                                                                                                                                                            .repository {
                                                                                                                                                                                                                              margin-top:32px;
                                                                                                                                                                                                                              padding:25px 0;
                                                                                                                                                                                                                              border-block:1px solid var(--rule);
                                                                                                                                                                                                                              display:flex;
                                                                                                                                                                                                                              justify-content:space-between;
                                                                                                                                                                                                                              align-items:center;
                                                                                                                                                                                                                              gap:20px}
                                                                                                                                                                                                                              .repository .eyebrow {
                                                                                                                                                                                                                                font-size:9px}
                                                                                                                                                                                                                                .repo-name {
                                                                                                                                                                                                                                  font:14px var(--mono);
                                                                                                                                                                                                                                  margin:10px 0;
                                                                                                                                                                                                                                  overflow-wrap:anywhere}
                                                                                                                                                                                                                                  .repository p:last-child {
                                                                                                                                                                                                                                    font-size:12px;
                                                                                                                                                                                                                                    color:var(--muted);
                                                                                                                                                                                                                                    margin:0;
                                                                                                                                                                                                                                    max-width:340px}
                                                                                                                                                                                                                                    .publication-label {
                                                                                                                                                                                                                                      font:10px var(--mono);
                                                                                                                                                                                                                                      white-space:nowrap;
                                                                                                                                                                                                                                      padding:8px 12px;
                                                                                                                                                                                                                                      border:1px solid var(--rule);
                                                                                                                                                                                                                                      border-radius:3px}
                                                                                                                                                                                                                                      .team-section {
                                                                                                                                                                                                                                        padding-top:0}
                                                                                                                                                                                                                                        .team-section>.section-heading {
                                                                                                                                                                                                                                          padding-top:60px;
                                                                                                                                                                                                                                          border-top:1px solid var(--rule);
                                                                                                                                                                                                                                          margin-bottom:35px}
                                                                                                                                                                                                                                          .team-grid {
                                                                                                                                                                                                                                            display:grid;
                                                                                                                                                                                                                                            grid-template-columns:repeat(3,1fr);
                                                                                                                                                                                                                                            column-gap:45px;
                                                                                                                                                                                                                                            row-gap:30px}
                                                                                                                                                                                                                                            .team-member {
                                                                                                                                                                                                                                              padding-top:20px;
                                                                                                                                                                                                                                              border-top:1px solid var(--rule)}
                                                                                                                                                                                                                                              .team-member h3 {
                                                                                                                                                                                                                                                font:22px var(--serif);
                                                                                                                                                                                                                                                letter-spacing:-.025em;
                                                                                                                                                                                                                                                margin-bottom:10px}
                                                                                                                                                                                                                                                .team-member p {
                                                                                                                                                                                                                                                  font-size:12px;
                                                                                                                                                                                                                                                  color:var(--muted);
                                                                                                                                                                                                                                                  max-width:300px;
                                                                                                                                                                                                                                                  margin-bottom:0;
                                                                                                                                                                                                                                                  line-height:1.8}
                                                                                                                                                                                                                                                  .team-note {
                                                                                                                                                                                                                                                    font:italic 16px var(--serif);
                                                                                                                                                                                                                                                    color:var(--muted);
                                                                                                                                                                                                                                                    margin:35px 0 0}
                                                                                                                                                                                                                                                    .contribute-section {
                                                                                                                                                                                                                                                      background:#293d32;
                                                                                                                                                                                                                                                      color:#f2f0e6}
                                                                                                                                                                                                                                                      .contribute-section .eyebrow {
                                                                                                                                                                                                                                                        color:#b6c4b5}
                                                                                                                                                                                                                                                        .contribute-layout {
                                                                                                                                                                                                                                                          display:grid;
                                                                                                                                                                                                                                                          grid-template-columns:1.2fr 1fr;
                                                                                                                                                                                                                                                          gap:100px}
                                                                                                                                                                                                                                                          .contribute-layout h2 {
                                                                                                                                                                                                                                                            font-size:clamp(42px,4.8vw,65px);
                                                                                                                                                                                                                                                            line-height:1.12;
                                                                                                                                                                                                                                                            margin-bottom:35px}
                                                                                                                                                                                                                                                            .contribute-layout em {
                                                                                                                                                                                                                                                              color:#dfb79b}
                                                                                                                                                                                                                                                              .contact-link {
                                                                                                                                                                                                                                                                font-size:19px;
                                                                                                                                                                                                                                                                text-decoration-thickness:1px;
                                                                                                                                                                                                                                                                text-underline-offset:8px;
                                                                                                                                                                                                                                                                overflow-wrap:anywhere}
                                                                                                                                                                                                                                                                .contact-link:hover,.contribute-section a:hover {
                                                                                                                                                                                                                                                                  color:#dfb79b}
                                                                                                                                                                                                                                                                  .contact-link span {
                                                                                                                                                                                                                                                                    margin-left:15px}
                                                                                                                                                                                                                                                                    .contribute-note {
                                                                                                                                                                                                                                                                      font-size:12px;
                                                                                                                                                                                                                                                                      color:#c1cbbf;
                                                                                                                                                                                                                                                                      max-width:350px;
                                                                                                                                                                                                                                                                      margin:23px 0 0;
                                                                                                                                                                                                                                                                      line-height:1.9}
                                                                                                                                                                                                                                                                      .contribution-list>div {
                                                                                                                                                                                                                                                                        display:flex;
                                                                                                                                                                                                                                                                        gap:23px;
                                                                                                                                                                                                                                                                        border-top:1px solid #607063;
                                                                                                                                                                                                                                                                        padding:20px 0}
                                                                                                                                                                                                                                                                        .contribution-list>div>span {
                                                                                                                                                                                                                                                                          font:11px var(--mono);
                                                                                                                                                                                                                                                                          color:#bac6b7;
                                                                                                                                                                                                                                                                          padding-top:5px}
                                                                                                                                                                                                                                                                          .contribution-list h3 {
                                                                                                                                                                                                                                                                            font:23px var(--serif);
                                                                                                                                                                                                                                                                            margin-bottom:9px}
                                                                                                                                                                                                                                                                            .contribution-list p {
                                                                                                                                                                                                                                                                              font-size:12px;
                                                                                                                                                                                                                                                                              color:#c1cbbf;
                                                                                                                                                                                                                                                                              line-height:1.8;
                                                                                                                                                                                                                                                                              max-width:310px;
                                                                                                                                                                                                                                                                              margin-bottom:0}
                                                                                                                                                                                                                                                                              footer {
                                                                                                                                                                                                                                                                                display:flex;
                                                                                                                                                                                                                                                                                align-items:center;
                                                                                                                                                                                                                                                                                justify-content:space-between;
                                                                                                                                                                                                                                                                                gap:20px;
                                                                                                                                                                                                                                                                                padding-block:30px;
                                                                                                                                                                                                                                                                                font-size:10px;
                                                                                                                                                                                                                                                                                color:var(--muted)}
                                                                                                                                                                                                                                                                                footer a {
                                                                                                                                                                                                                                                                                  text-decoration:none}
                                                                                                                                                                                                                                                                                  .footer-brand {
                                                                                                                                                                                                                                                                                    font:19px var(--serif);
                                                                                                                                                                                                                                                                                    color:var(--ink)}
                                                                                                                                                                                                                                                                                    @media(min-width:1500px) {
                                                                                                                                                                                                                                                                                      .hero {
                                                                                                                                                                                                                                                                                        padding-block:110px}
                                                                                                                                                                                                                                                                                        .wrap {
                                                                                                                                                                                                                                                                                          width:min(1240px,calc(100% - 120px))}
                                                                                                                                                                                                                                                                                        }
                                                                                                                                                                                                                                                                                        @media(max-width:1000px) {
                                                                                                                                                                                                                                                                                          .wrap {
                                                                                                                                                                                                                                                                                            width:calc(100% - 60px)}
                                                                                                                                                                                                                                                                                            .hero {
                                                                                                                                                                                                                                                                                              gap:36px;
                                                                                                                                                                                                                                                                                              grid-template-columns:1.5fr 1fr}
                                                                                                                                                                                                                                                                                              .hero h1 {
                                                                                                                                                                                                                                                                                                font-size:61px}
                                                                                                                                                                                                                                                                                                .hero .eyebrow {
                                                                                                                                                                                                                                                                                                  font-size:9px}
                                                                                                                                                                                                                                                                                                  .hero-description {
                                                                                                                                                                                                                                                                                                    font-size:15px}
                                                                                                                                                                                                                                                                                                    .notebook {
                                                                                                                                                                                                                                                                                                      padding:23px}
                                                                                                                                                                                                                                                                                                      .notebook-title {
                                                                                                                                                                                                                                                                                                        font-size:27px}
                                                                                                                                                                                                                                                                                                        .actions {
                                                                                                                                                                                                                                                                                                          gap:18px}
                                                                                                                                                                                                                                                                                                          .actions .text-link {
                                                                                                                                                                                                                                                                                                            font-size:11px}
                                                                                                                                                                                                                                                                                                            .editorial {
                                                                                                                                                                                                                                                                                                              gap:35px;
                                                                                                                                                                                                                                                                                                              grid-template-columns:1fr 2.7fr}
                                                                                                                                                                                                                                                                                                              .contribute-layout {
                                                                                                                                                                                                                                                                                                                gap:65px}
                                                                                                                                                                                                                                                                                                                .status {
                                                                                                                                                                                                                                                                                                                  font-size:9px}
                                                                                                                                                                                                                                                                                                                  th,td {
                                                                                                                                                                                                                                                                                                                    padding-inline:8px}
                                                                                                                                                                                                                                                                                                                    .team-grid {
                                                                                                                                                                                                                                                                                                                      column-gap:25px}
                                                                                                                                                                                                                                                                                                                      .team-member h3 {
                                                                                                                                                                                                                                                                                                                        font-size:20px}
                                                                                                                                                                                                                                                                                                                        .issue-strip>:last-child {
                                                                                                                                                                                                                                                                                                                          display:none}
                                                                                                                                                                                                                                                                                                                        }
                                                                                                                                                                                                                                                                                                                        @media(max-width:760px) {
      .sidenote {
        margin-top:8px;
        max-width:520px}
                                                                                                                                                                                                                                                                                                                          .wrap {
                                                                                                                                                                                                                                                                                                                            width:calc(100% - 40px)}
                                                                                                                                                                                                                                                                                                                            .site-header {
                                                                                                                                                                                                                                                                                                                              height:auto;
                                                                                                                                                                                                                                                                                                                              min-height:105px;
                                                                                                                                                                                                                                                                                                                              gap:20px;
                                                                                                                                                                                                                                                                                                                              padding-block:20px}
                                                                                                                                                                                                                                                                                                                              .brand {
                                                                                                                                                                                                                                                                                                                                font-size:12px;
                                                                                                                                                                                                                                                                                                                                gap:9px}
                                                                                                                                                                                                                                                                                                                                .mark {
                                                                                                                                                                                                                                                                                                                                  font-size:43px}
                                                                                                                                                                                                                                                                                                                                  nav {
                                                                                                                                                                                                                                                                                                                                    gap:16px;
                                                                                                                                                                                                                                                                                                                                    font-size:11px;
                                                                                                                                                                                                                                                                                                                                    flex-wrap:wrap;
                                                                                                                                                                                                                                                                                                                                    justify-content:flex-end}
                                                                                                                                                                                                                                                                                                                                    nav .nav-join {
                                                                                                                                                                                                                                                                                                                                      margin-left:0}
                                                                                                                                                                                                                                                                                                                                      nav .nav-join span {
                                                                                                                                                                                                                                                                                                                                        margin-left:4px}
                                                                                                                                                                                                                                                                                                                                        .hero {
                                                                                                                                                                                                                                                                                                                                          grid-template-columns:1fr;
                                                                                                                                                                                                                                                                                                                                          padding-block:55px;
                                                                                                                                                                                                                                                                                                                                          gap:45px}
                                                                                                                                                                                                                                                                                                                                          .hero h1 {
                                                                                                                                                                                                                                                                                                                                            font-size:clamp(47px,9.7vw,71px)}
                                                                                                                                                                                                                                                                                                                                            .hero-description {
                                                                                                                                                                                                                                                                                                                                              max-width:580px;
                                                                                                                                                                                                                                                                                                                                              font-size:16px}
                                                                                                                                                                                                                                                                                                                                              .notebook {
                                                                                                                                                                                                                                                                                                                                                justify-self:center;
                                                                                                                                                                                                                                                                                                                                                max-width:340px;
                                                                                                                                                                                                                                                                                                                                                width:85%;
                                                                                                                                                                                                                                                                                                                                                margin-block:10px 20px}
                                                                                                                                                                                                                                                                                                                                                .hero-footnote {
                                                                                                                                                                                                                                                                                                                                                  font-size:10px}
                                                                                                                                                                                                                                                                                                                                                  .actions {
                                                                                                                                                                                                                                                                                                                                                    gap:23px}
                                                                                                                                                                                                                                                                                                                                                    .actions .text-link {
                                                                                                                                                                                                                                                                                                                                                      font-size:12px}
                                                                                                                                                                                                                                                                                                                                                      .issue-strip {
                                                                                                                                                                                                                                                                                                                                                        font-size:8px;
                                                                                                                                                                                                                                                                                                                                                        gap:20px;
                                                                                                                                                                                                                                                                                                                                                        align-items:center}
                                                                                                                                                                                                                                                                                                                                                        .issue-strip>:nth-child(2) {
                                                                                                                                                                                                                                                                                                                                                          font-size:12px;
                                                                                                                                                                                                                                                                                                                                                          text-align:right}
                                                                                                                                                                                                                                                                                                                                                          .section {
                                                                                                                                                                                                                                                                                                                                                            padding-block:55px}
                                                                                                                                                                                                                                                                                                                                                            .editorial {
                                                                                                                                                                                                                                                                                                                                                              grid-template-columns:1fr;
                                                                                                                                                                                                                                                                                                                                                              gap:20px}
                                                                                                                                                                                                                                                                                                                                                              .section-label {
                                                                                                                                                                                                                                                                                                                                                                display:flex;
                                                                                                                                                                                                                                                                                                                                                                align-items:center;
                                                                                                                                                                                                                                                                                                                                                                gap:20px}
                                                                                                                                                                                                                                                                                                                                                                .section-label p {
                                                                                                                                                                                                                                                                                                                                                                  margin:0;
                                                                                                                                                                                                                                                                                                                                                                  font-size:15px}
                                                                                                                                                                                                                                                                                                                                                                  .editorial-body>.lead {
                                                                                                                                                                                                                                                                                                                                                                    font-size:21px}
                                                                                                                                                                                                                                                                                                                                                                    .principles {
                                                                                                                                                                                                                                                                                                                                                                      gap:20px}
                                                                                                                                                                                                                                                                                                                                                                      .principles h3 {
                                                                                                                                                                                                                                                                                                                                                                        font-size:13px}
                                                                                                                                                                                                                                                                                                                                                                        .principles p {
                                                                                                                                                                                                                                                                                                                                                                          font-size:11px}
                                                                                                                                                                                                                                                                                                                                                                          .section-heading {
                                                                                                                                                                                                                                                                                                                                                                            display:block}
                                                                                                                                                                                                                                                                                                                                                                            .section-heading>p {
                                                                                                                                                                                                                                                                                                                                                                              margin-top:20px;
                                                                                                                                                                                                                                                                                                                                                                              max-width:none}
                                                                                                                                                                                                                                                                                                                                                                              .section-heading>p br {
                                                                                                                                                                                                                                                                                                                                                                                display:none}
                                                                                                                                                                                                                                                                                                                                                                                .section-heading .eyebrow {
                                                                                                                                                                                                                                                                                                                                                                                  margin-bottom:15px}
                                                                                                                                                                                                                                                                                                                                                                                  .score-controls {
                                                                                                                                                                                                                                                                                                                                                                                    gap:20px}
                                                                                                                                                                                                                                                                                                                                                                                    .search {
                                                                                                                                                                                                                                                                                                                                                                                      width:100%}
                                                                                                                                                                                                                                                                                                                                                                                      .filter {
                                                                                                                                                                                                                                                                                                                                                                                        padding:9px 10px;
                                                                                                                                                                                                                                                                                                                                                                                        font-size:10px;
                                                                                                                                                                                                                                                                                                                                                                                        gap:7px}
                                                                                                                                                                                                                                                                                                                                                                                        .filters {
                                                                                                                                                                                                                                                                                                                                                                                          gap:7px}
                                                                                                                                                                                                                                                                                                                                                                                          .result-count {
                                                                                                                                                                                                                                                                                                                                                                                            margin-block:22px 15px}
                                                                                                                                                                                                                                                                                                                                                                                            thead {
                                                                                                                                                                                                                                                                                                                                                                                              position:absolute;
                                                                                                                                                                                                                                                                                                                                                                                              width:1px;
                                                                                                                                                                                                                                                                                                                                                                                              height:1px;
                                                                                                                                                                                                                                                                                                                                                                                              overflow:hidden;
                                                                                                                                                                                                                                                                                                                                                                                              clip:rect(0,0,0,0)}
                                                                                                                                                                                                                                                                                                                                                                                              table,tbody {
                                                                                                                                                                                                                                                                                                                                                                                                display:block}
                                                                                                                                                                                                                                                                                                                                                                                                tr {
                                                                                                                                                                                                                                                                                                                                                                                                  display:grid;
                                                                                                                                                                                                                                                                                                                                                                                                  grid-template-columns:1fr 1fr;
                                                                                                                                                                                                                                                                                                                                                                                                  gap:10px 20px;
                                                                                                                                                                                                                                                                                                                                                                                                  padding:20px 0}
                                                                                                                                                                                                                                                                                                                                                                                                  th,td {
                                                                                                                                                                                                                                                                                                                                                                                                    display:block;
                                                                                                                                                                                                                                                                                                                                                                                                    padding:0}
                                                                                                                                                                                                                                                                                                                                                                                                    .problem-id {
                                                                                                                                                                                                                                                                                                                                                                                                      width:auto;
                                                                                                                                                                                                                                                                                                                                                                                                      font-size:25px;
                                                                                                                                                                                                                                                                                                                                                                                                      align-self:center}
                                                                                                                                                                                                                                                                                                                                                                                                      td[data-label="Verification"] {
                                                                                                                                                                                                                                                                                                                                                                                                        justify-self:end;
                                                                                                                                                                                                                                                                                                                                                                                                        align-self:center}
                                                                                                                                                                                                                                                                                                                                                                                                        td[data-label="Model & agent setup"],td[data-label="Human contribution"] {
                                                                                                                                                                                                                                                                                                                                                                                                          padding-top:5px}
                                                                                                                                                                                                                                                                                                                                                                                                          td[data-label="Details"] {
                                                                                                                                                                                                                                                                                                                                                                                                            grid-column:1/-1}
                                                                                                                                                                                                                                                                                                                                                                                                            td[data-label="Model & agent setup"]:before,td[data-label="Human contribution"]:before {
                                                                                                                                                                                                                                                                                                                                                                                                              content:attr(data-label);
                                                                                                                                                                                                                                                                                                                                                                                                              display:block;
                                                                                                                                                                                                                                                                                                                                                                                                              font:9px var(--mono);
                                                                                                                                                                                                                                                                                                                                                                                                              text-transform:uppercase;
                                                                                                                                                                                                                                                                                                                                                                                                              letter-spacing:.025em;
                                                                                                                                                                                                                                                                                                                                                                                                              color:#505a48;
                                                                                                                                                                                                                                                                                                                                                                                                              margin-bottom:5px}
                                                                                                                                                                                                                                                                                                                                                                                                              .status {
                                                                                                                                                                                                                                                                                                                                                                                                                font-size:10px}
                                                                                                                                                                                                                                                                                                                                                                                                                .record-notes {
                                                                                                                                                                                                                                                                                                                                                                                                                  display:block;
                                                                                                                                                                                                                                                                                                                                                                                                                  margin-top:25px}
                                                                                                                                                                                                                                                                                                                                                                                                                  .record-notes p:last-child {
                                                                                                                                                                                                                                                                                                                                                                                                                    text-align:left;
                                                                                                                                                                                                                                                                                                                                                                                                                    max-width:none}
                                                                                                                                                                                                                                                                                                                                                                                                                    .team-section {
                                                                                                                                                                                                                                                                                                                                                                                                                      padding-top:0}
                                                                                                                                                                                                                                                                                                                                                                                                                      .team-section>.section-heading {
                                                                                                                                                                                                                                                                                                                                                                                                                        padding-top:40px}
                                                                                                                                                                                                                                                                                                                                                                                                                        .team-grid {
                                                                                                                                                                                                                                                                                                                                                                                                                          grid-template-columns:1fr 1fr;
                                                                                                                                                                                                                                                                                                                                                                                                                          gap:25px}
                                                                                                                                                                                                                                                                                                                                                                                                                          .team-member h3 {
                                                                                                                                                                                                                                                                                                                                                                                                                            font-size:20px}
                                                                                                                                                                                                                                                                                                                                                                                                                            .contribute-layout {
                                                                                                                                                                                                                                                                                                                                                                                                                              grid-template-columns:1fr;
                                                                                                                                                                                                                                                                                                                                                                                                                              gap:40px}
                                                                                                                                                                                                                                                                                                                                                                                                                              .contribution-list p {
                                                                                                                                                                                                                                                                                                                                                                                                                                max-width:none}
                                                                                                                                                                                                                                                                                                                                                                                                                                .contribute-layout h2 {
                                                                                                                                                                                                                                                                                                                                                                                                                                  font-size:51px}
                                                                                                                                                                                                                                                                                                                                                                                                                                  .contribute-note {
                                                                                                                                                                                                                                                                                                                                                                                                                                    max-width:none}
                                                                                                                                                                                                                                                                                                                                                                                                                                    .contribution-list>div {
                                                                                                                                                                                                                                                                                                                                                                                                                                      padding-block:22px}
                                                                                                                                                                                                                                                                                                                                                                                                                                      footer {
                                                                                                                                                                                                                                                                                                                                                                                                                                        flex-wrap:wrap;
                                                                                                                                                                                                                                                                                                                                                                                                                                        padding-block:25px}
                                                                                                                                                                                                                                                                                                                                                                                                                                        footer>span {
                                                                                                                                                                                                                                                                                                                                                                                                                                          order:3;
                                                                                                                                                                                                                                                                                                                                                                                                                                          width:100%}
                                                                                                                                                                                                                                                                                                                                                                                                                                          .repository {
                                                                                                                                                                                                                                                                                                                                                                                                                                            align-items:flex-start;
                                                                                                                                                                                                                                                                                                                                                                                                                                            flex-direction:column}
                                                                                                                                                                                                                                                                                                                                                                                                                                            .repository p:last-child {
                                                                                                                                                                                                                                                                                                                                                                                                                                              max-width:none}
                                                                                                                                                                                                                                                                                                                                                                                                                                            }
                                                                                                                                                                                                                                                                                                                                                                                                                                            @media(max-width:380px) {
                                                                                                                                                                                                                                                                                                                                                                                                                                              nav {
                                                                                                                                                                                                                                                                                                                                                                                                                                                gap:8px 13px}
                                                                                                                                                                                                                                                                                                                                                                                                                                                .nav-join {
                                                                                                                                                                                                                                                                                                                                                                                                                                                  flex-basis:100%;
                                                                                                                                                                                                                                                                                                                                                                                                                                                  text-align:right;
                                                                                                                                                                                                                                                                                                                                                                                                                                                  border:0}
                                                                                                                                                                                                                                                                                                                                                                                                                                                  .hero h1 {
                                                                                                                                                                                                                                                                                                                                                                                                                                                    font-size:46px}
                                                                                                                                                                                                                                                                                                                                                                                                                                                    .hero .eyebrow {
                                                                                                                                                                                                                                                                                                                                                                                                                                                      font-size:8px}
                                                                                                                                                                                                                                                                                                                                                                                                                                                      .actions {
                                                                                                                                                                                                                                                                                                                                                                                                                                                        gap:15px}
                                                                                                                                                                                                                                                                                                                                                                                                                                                        .button {
                                                                                                                                                                                                                                                                                                                                                                                                                                                          padding:12px 14px;
                                                                                                                                                                                                                                                                                                                                                                                                                                                          gap:12px}
                                                                                                                                                                                                                                                                                                                                                                                                                                                          .actions .text-link {
                                                                                                                                                                                                                                                                                                                                                                                                                                                            font-size:11px}
                                                                                                                                                                                                                                                                                                                                                                                                                                                            .principles {
                                                                                                                                                                                                                                                                                                                                                                                                                                                              grid-template-columns:1fr}
                                                                                                                                                                                                                                                                                                                                                                                                                                                              .principles>div {
                                                                                                                                                                                                                                                                                                                                                                                                                                                                display:grid;
                                                                                                                                                                                                                                                                                                                                                                                                                                                                grid-template-columns:20px 1fr;
                                                                                                                                                                                                                                                                                                                                                                                                                                                                gap:0 12px}
                                                                                                                                                                                                                                                                                                                                                                                                                                                                .principles h3 {
                                                                                                                                                                                                                                                                                                                                                                                                                                                                  margin:0 0 5px}
                                                                                                                                                                                                                                                                                                                                                                                                                                                                  .principles p {
                                                                                                                                                                                                                                                                                                                                                                                                                                                                    grid-column:2}
                                                                                                                                                                                                                                                                                                                                                                                                                                                                    .team-grid {
                                                                                                                                                                                                                                                                                                                                                                                                                                                                      grid-template-columns:1fr}
                                                                                                                                                                                                                                                                                                                                                                                                                                                                      .contribute-layout h2 {
                                                                                                                                                                                                                                                                                                                                                                                                                                                                        font-size:44px}
                                                                                                                                                                                                                                                                                                                                                                                                                                                                      }
                                                                                                                                                                                                                                                                                                                                                                                                                                                                      @media(prefers-reduced-motion:reduce) {
                                                                                                                                                                                                                                                                                                                                                                                                                                                                        html {
                                                                                                                                                                                                                                                                                                                                                                                                                                                                          scroll-behavior:auto}
                                                                                                                                                                                                                                                                                                                                                                                                                                                                        }

/* Keep the paper motif while presenting the results as a readable summary. */
.notebook {
  transform: none;
}
.notebook::before {
  display: none;
}
.note-caption {
  font-size: 13px;
  line-height: 1.8;
  margin: 18px 0 20px;
}
.note-bottom {
  margin-top: 24px;
  font: 12px var(--sans);
}
.issue-strip > :nth-child(2) {
  font: 12px var(--sans);
}

/* Solution disclosures remain readable without JavaScript. */
.solution-row > td { padding: 0 20px 16px; }
.solution-details { background: #f3f1e8; border-radius: 3px; scroll-margin-top: 100px; }
.solution-details > summary { padding: 14px 18px; cursor: pointer; font-size: 14px; }
.solution-details summary:focus-visible { outline: 2px solid #505a48; outline-offset: 3px; }
.solution-body { padding: 0 18px 20px; max-width: 900px; font-size: 15px; line-height: 1.7; }
.solution-body p { margin: 0 0 16px; }
.solution-review { color: #596052; font-size: 13px; }
.pdf-preview > summary { cursor: pointer; font-size: 14px; padding: 8px 0; }
.pdf-preview iframe { display: block; width: 100%; height: 640px; border: 1px solid #d1d4c5; margin-top: 12px; background: white; }
.solution-row[hidden] { display: none; }
@media (max-width: 700px) {
  #problem-rows .solution-row { display: block; padding: 0; }
  #problem-rows .solution-row[hidden] { display: none; }
  .solution-row > td { padding: 0 0 18px; }
  .solution-details > summary { line-height: 1.6; }
  .pdf-preview iframe { height: 460px; }
}

.affiliations { margin: 0 0 38px; padding: 22px 0 30px; border-bottom: 1px solid var(--rule); }
.affiliation-logos { display: grid; grid-template-columns: repeat(3, 1fr); align-items: center; gap: 40px; margin-top: 20px; }
.affiliation-logo { display: flex; align-items: center; justify-content: center; min-height: 140px; }
.affiliation-logo img { display: block; max-width: 100%; height: auto; }
.affiliation-stevens img { width: 104px; }
.affiliation-biu img { width: 220px; }
.affiliation-nebius img { width: 240px; }
@media (max-width: 600px) {
  .affiliation-logos { grid-template-columns: 1fr; gap: 24px; }
  .affiliation-logo { min-height: 72px; }
  .affiliation-stevens img { width: 90px; }
  .affiliation-biu img { width: 200px; }
  .affiliation-nebius img { width: 220px; }
}

.status-partial { background: #eeebda; color: #675834; border-color: #d8cba8; }
.result-scope { display: block; max-width: 230px; margin-top: 7px; color: var(--muted); font-size: 12px; line-height: 1.5; }
.solution-body .source-link { margin-top: 18px; }

/* Results controls share one type scale, border treatment, and selected state. */
.source-progress { border-block: 1px solid #bfc6b6; padding: 26px 0; margin: 28px 0 32px; }
.progress-heading { display: flex; align-items: center; justify-content: space-between; flex-wrap: wrap; gap: 18px; }
.progress-heading .eyebrow { margin: 0 0 8px; }
.progress-heading h3 { margin: 0; font: 28px/1.2 var(--serif); }
.progress-heading h3 a { text-decoration: none; }
.progress-modes, .source-options { display: flex; flex-wrap: wrap; gap: 4px; }
.progress-modes { border: 1px solid #c5c9bb; padding: 3px; border-radius: 4px; }
.progress-modes button, .source-option, .filter {
  min-height: 40px; padding: 9px 12px; border: 1px solid #c5c9bb;
  border-radius: 3px; background: transparent; color: var(--ink); font: 12px/1.4 var(--sans);
}
.progress-modes button { border-color: transparent; min-height: 34px; padding: 7px 11px; }
.progress-modes button[aria-pressed="true"], .source-option[aria-pressed="true"], .filter[aria-pressed="true"] {
  background: var(--ink); border-color: var(--ink); color: var(--paper);
}
.progress-modes button:hover, .source-option:hover, .filter:hover { border-color: var(--ink); }
.progress-summary { margin: 24px 0 12px; font: 15px var(--sans); font-variant-numeric: tabular-nums; }
.progress-bar { display: flex; height: 18px; width: 100%; overflow: hidden; border-radius: 2px; background: #dfe0d5; }
.progress-segment { flex-basis: 0; min-width: 0; }
.progress-accepted { background: #355a43; }
.progress-checked { background: #8ba578; }
.progress-remaining { background: #dfe0d5; }
.progress-legend { display: flex; flex-wrap: wrap; gap: 12px 24px; padding: 0; margin: 16px 0; list-style: none; }
.progress-legend li { display: flex; align-items: center; gap: 7px; font: 12px var(--sans); }
.progress-swatch { display: inline-block; width: 10px; height: 10px; border-radius: 2px; }
.progress-qualification, .progress-explanation, .comparison-note { color: var(--muted); font-size: 13px; }
.progress-qualification { margin: 0; }
.progress-methodology { margin-top: 10px; font-size: 13px; }
.progress-methodology summary { width: fit-content; cursor: pointer; text-decoration: underline; text-underline-offset: 4px; }
.progress-explanation { max-width: 80ch; margin: 12px 0 0; }
.progress-modes[hidden], [data-remaining][hidden], .source-progress[hidden] { display: none; }
.score-controls { display: grid; grid-template-columns: 1fr minmax(220px, 290px); align-items: end; gap: 22px 32px; margin-bottom: 24px; }
.control-label { display: block; color: var(--muted); font: 10px/1.5 var(--mono); text-transform: uppercase; letter-spacing: .08em; margin-bottom: 9px; }
.source-filter { min-width: 0; }
.source-options, .filters { gap: 6px; }
.status-filter { grid-column: 1 / -1; }
.search { width: 100%; min-height: 40px; border: 1px solid #c5c9bb; border-radius: 3px; padding: 8px 12px; gap: 10px; }
.search svg { flex: none; color: var(--muted); }
.search input { padding: 0; font-size: 12px; }
.search:focus-within { outline: 2px solid var(--rust); outline-offset: 3px; }
.search input:focus-visible { outline: none; }
.problem-source { font-size: 12px; }
.comparison-note { margin-top: 20px; }
@media (max-width: 700px) {
  .source-progress { padding: 24px 0; }
  .progress-heading h3 { font-size: 27px; }
  .score-controls { grid-template-columns: 1fr; gap: 20px; }
  .status-filter { grid-column: auto; }
  .search { grid-row: 3; }
  .progress-modes button, .source-option, .filter { min-height: 44px; }
  #problem-rows td[data-label="Problem source"] { grid-column: 1 / -1; grid-row: 2; padding: 4px 0 12px; }
  #problem-rows td[data-label="Verification"] { grid-column: 2; grid-row: 1; }
  #problem-rows td[data-label="Problem source"]::before { content: 'SOURCE · '; font: 10px var(--mono); color: var(--muted); }
}
@media (prefers-reduced-motion: reduce) {
  html { scroll-behavior: auto; }
}

/* Three complete records, followed by a decorative continuation. No-JS shows all. */
#results-catalog { position: relative; scroll-margin-top: 28px; }
.results-reveal { position: relative; height: 140px; margin-bottom: 12px; }
.results-glimpse { height: 86px; overflow: hidden; pointer-events: none; opacity: .55; }
.results-glimpse table { table-layout: fixed; }
#expand-results { position: absolute; inset: 0; width: 100%; border: 0; padding: 0; display: flex; align-items: end; justify-content: center; background: linear-gradient(to bottom, transparent, #eceee4 58%); color: var(--paper); }
.reveal-label { display: inline-flex; align-items: center; gap: 24px; padding: 13px 22px; background: var(--ink); border: 1px solid var(--ink); border-radius: 3px; font: 13px/1.5 var(--sans); }
#expand-results:hover .reveal-label { background: var(--green); border-color: var(--green); }
.results-collapse { position: sticky; bottom: 16px; z-index: 5; display: flex; justify-content: center; margin-top: 24px; pointer-events: none; }
.results-collapse button { pointer-events: auto; background: var(--ink); color: var(--paper); border: 1px solid var(--paper); border-radius: 4px; padding: 12px 20px; box-shadow: 0 3px 14px #292e2826; font: 13px/1.5 var(--sans); }
.results-collapse button span { margin-left: 18px; }
.results-collapse button:hover { background: var(--green); }
@media (max-width: 700px) {
  .results-reveal { height: 150px; }
  .results-collapse { bottom: max(12px, env(safe-area-inset-bottom)); }
}

.update-notice { position: fixed; right: 20px; bottom: 20px; z-index: 10; width: 300px; max-width: calc(100vw - 40px); padding: 18px 20px; background: var(--paper); color: var(--ink); border: 1px solid var(--rule); border-top: 2px solid var(--green); border-radius: 3px; box-shadow: 0 4px 24px #292e2826; }
.update-notice p { margin: 0 0 12px; font: 14px/1.5 var(--sans); }
.update-notice > div { display: flex; gap: 8px; }
.update-notice button { min-height: 40px; padding: 8px 12px; font: 12px var(--sans); border: 1px solid var(--rule); border-radius: 3px; background: transparent; color: var(--ink); }
.update-notice #refresh-site { background: var(--ink); color: var(--paper); border-color: var(--ink); }
@media (max-width: 900px) { .update-notice { bottom: calc(76px + env(safe-area-inset-bottom)); } }