@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)); } }

/* Contribution labels describe guidance, independently of verification status. */
.human-contribution { position: relative; }
.contribution-tag { position: relative; display: inline-block; }
.contribution-badge { display: inline-flex; align-items: center; gap: 8px; white-space: nowrap; padding: 5px 9px; border: 1px solid; border-radius: 3px; font: 11px/1.5 var(--sans); cursor: help; }
.contribution-one_prompt { color: #405b4c; background: #e6ede4; border-color: #b9c9b7; }
.contribution-five_prompts { color: #79532e; background: #f3ead9; border-color: #d8c5a5; }
.contribution-hard { color: #754b5d; background: #f0e3e9; border-color: #ceb4c0; }
.contribution-na { color: #63665c; background: #eeeee7; border-color: #cecec1; }
.contribution-tooltip { display: none; position: absolute; right: 0; top: 100%; width: 300px; max-width: calc(100vw - 40px); z-index: 8; padding: 14px 16px; border: 1px solid var(--rule); border-radius: 3px; background: var(--paper); color: var(--ink); box-shadow: 0 4px 16px #292e2820; font: 13px/1.6 var(--sans); white-space: normal; }
.contribution-tag:not(.tooltip-dismissed):is(:hover, :focus-within) .contribution-tooltip { display: block; }
.contribution-guide > p { color: var(--muted); font-size: 13px; max-width: 80ch; }
@media (max-width: 700px) { .contribution-badge { min-height: 44px; } }

.team-member .team-honor { color: var(--rust); font: 11px/1.5 var(--sans); margin: 0 0 10px; }

/* Homepage roles, manifesto page, and review markers */

/* Review markers */
.draft-banner{background:var(--ink);color:#e9e6da;font-size:12px;line-height:1.6}
.draft-banner .wrap{display:flex;align-items:center;justify-content:space-between;gap:20px;padding-block:10px}
.draft-banner p{margin:0}
.draft-banner strong{color:#fff;font-weight:600}
.draft-banner a{color:#fff;white-space:nowrap}
.draft-banner a:hover{color:#dfb79b}
.placeholder{background:#f2df8d;color:var(--ink);padding:0 .35em;border-radius:2px;outline:1px dashed #b8962e;outline-offset:-1px;font-style:normal}
.placeholder-block{margin:14px 0;padding:13px 16px 14px;background:#f6ebbd;border:1px dashed #b8962e;border-radius:3px;max-width:640px}
.placeholder-block p{margin:0;font-size:14px;line-height:1.7;color:#4f4520}
.placeholder-block .placeholder-tag{font:10px/1.6 var(--mono);letter-spacing:.12em;text-transform:uppercase;color:#7a5d12;margin-bottom:3px}
ins.revision{text-decoration:underline;text-decoration-color:var(--green);text-decoration-thickness:2px;text-underline-offset:3px;background:rgba(53,90,67,.08)}
.draft-banner ins.revision{text-decoration-color:#9fc3a9;background:none}
nav a[aria-current="page"]{color:var(--rust);text-decoration:underline;text-underline-offset:6px}

/* Hero without the progress panel */
.hero.hero-solo{grid-template-columns:1fr;padding-block:84px 76px}
.hero-solo .hero-copy{max-width:1000px}
.hero-solo h1{font-size:clamp(44px,5.3vw,74px);line-height:1.06;margin-bottom:32px}
.hero-solo .hero-description{max-width:640px}
.hero-solo .actions{flex-wrap:wrap}

/* 01 / How we work */
.roles-intro{max-width:760px;margin:10px 0 52px}
.roles-intro .lead{font:22px/1.55 var(--serif);color:var(--ink);margin-bottom:22px}
.roles-intro p{font-size:15px;line-height:1.9;color:#545a50}
.roles-intro .lead strong{font-weight:400;color:var(--rust)}
.roles-intro p:last-child{margin-bottom:0}
.roles-intro a{color:var(--rust)}
.roles-list{list-style:none;margin:0;padding:0;border-top:1px solid var(--rule)}
.role{display:grid;grid-template-columns:minmax(0,1fr) minmax(0,1.55fr);gap:60px;padding:40px 0;border-bottom:1px solid var(--rule)}
.role-number{font:italic 21px var(--serif);color:var(--rust);margin:0 0 6px}
.role h3{font:30px/1.15 var(--serif);letter-spacing:-.035em;margin:0 0 8px}
.role-focus{font:10px/1.6 var(--mono);letter-spacing:.12em;text-transform:uppercase;color:var(--muted);margin-bottom:16px}
.role-summary{font-size:14px;line-height:1.8;color:#545a50;margin:0;max-width:400px}
.role-practice .practice-label,.practice-note .practice-label{font:10px/1.6 var(--mono);letter-spacing:.12em;text-transform:uppercase;color:var(--green);margin:0 0 12px}
.role-practice>p:not(.practice-label){font-size:15px;line-height:1.85;color:#3f453c;max-width:640px}
.role-practice a{color:var(--rust)}
.role-practice h4{font:600 13px var(--sans);margin:26px 0 8px}
.role-practice .placeholder-block:first-of-type:last-child{margin-top:0}
.talks{list-style:none;padding:0;margin:4px 0 16px;border-top:1px solid var(--rule);max-width:640px}
.talks li{padding:10px 0 11px;border-bottom:1px solid var(--rule);font:17px/1.45 var(--serif);letter-spacing:-.01em}
.talk-who{display:block;font:12px/1.5 var(--sans);letter-spacing:0;color:var(--muted);margin-bottom:2px}
.repository.repository-compact{margin-top:24px;padding:18px 0;max-width:640px}
.repository-compact .eyebrow{display:block;margin-bottom:4px}

/* 02 / Results */
.results-intro.results-questions{font:19px/1.6 var(--serif);color:var(--ink);max-width:760px;margin-bottom:16px}
.results-questions a{color:var(--rust)}

/* 03 / Team */
.team-students{margin-top:42px;padding-top:22px;border-top:1px solid var(--rule);max-width:760px}
.team-students .eyebrow{margin-bottom:12px}
.team-students>p:not(.eyebrow){font:20px/1.5 var(--serif);letter-spacing:-.015em;margin-bottom:6px}
.team-note a{color:var(--rust)}

/* 04 / Join */
.contribute-intro{font-size:14px;line-height:1.85;color:#d7ddd3;max-width:440px;margin-bottom:16px}
.contribute-intro+.contact-link{display:inline-block;margin-top:14px}
.contribution-group+.contribution-group{margin-top:22px}
.group-role{font:10px/1.6 var(--mono);letter-spacing:.12em;text-transform:uppercase;color:#dfb79b;margin:0 0 2px}
.contribution-list a{color:inherit}

/* Manifesto page */
.manifesto-head{padding-block:80px 64px;border-bottom:1px solid var(--rule)}
.manifesto-head h1{font-size:clamp(50px,6.4vw,88px);margin-bottom:24px}
.manifesto-lead{font:26px/1.45 var(--serif);letter-spacing:-.02em;max-width:760px;margin-bottom:16px}
.manifesto-byline{font-size:13px;color:var(--muted);margin:0}
.manifesto-byline a{color:var(--rust)}
.manifesto-toc{display:block;font-size:inherit}
.manifesto-toc ol{list-style:none;counter-reset:toc;display:grid;grid-template-columns:repeat(5,minmax(0,1fr));margin:44px 0 0;padding:0;border-top:1px solid var(--rule)}
.manifesto-toc li{counter-increment:toc;padding:14px 18px 0 0;margin-right:18px;border-right:1px solid var(--rule)}
.manifesto-toc li:last-child{border-right:0;margin-right:0}
.manifesto-toc li::before{content:"0" counter(toc);display:block;font:10px/1.6 var(--mono);letter-spacing:.12em;color:var(--rust);margin-bottom:6px}
.manifesto-toc a{font:16px/1.35 var(--serif);text-decoration:none}
.manifesto-toc a:hover{text-decoration:underline}
.doc-section{grid-template-rows:auto 1fr}
.doc-section+.doc-section{border-top:1px solid var(--rule)}
.doc-section .sidenote{grid-row:2;position:sticky;top:24px}
.doc-body h2{font-size:clamp(34px,3.7vw,50px)}
.doc-body h3{font:24px/1.3 var(--serif);letter-spacing:-.02em;margin:46px 0 14px}
.doc-number{color:var(--rust);margin-right:.15em}
.doc-body strong{color:var(--ink);font-weight:600}
.doc-questions{list-style:none;padding:0;margin:0 0 24px;max-width:675px;border-bottom:1px solid var(--rule)}
.doc-questions li{padding:13px 0;border-top:1px solid var(--rule);font:19px/1.5 var(--serif);letter-spacing:-.01em;position:relative}
.doc-questions strong{font-weight:400}
.doc-list{list-style:none;counter-reset:item;padding:0;margin:0 0 24px;max-width:675px;border-bottom:1px solid var(--rule)}
.doc-list li{counter-increment:item;position:relative;padding:13px 0 13px 34px;border-top:1px solid var(--rule);font-size:15px;line-height:1.85;color:#545a50}
.doc-list li::before{content:counter(item) ".";position:absolute;left:0;top:12px;font:italic 19px/1.5 var(--serif);color:var(--rust)}
.doc-body .role-link{font-size:13px;margin-top:-4px}
.practice-note{margin:30px 0 12px;padding:20px 22px;background:#e9ece0;border-left:3px solid var(--green);max-width:675px}
.practice-note p{font-size:14px;line-height:1.8;color:#3f453c;margin:0 0 10px}
.practice-note>:last-child{margin-bottom:0}
.practice-note .placeholder-block{margin:0 0 12px}
.doc-actions{display:flex;flex-wrap:wrap;align-items:center;gap:24px;margin-top:28px}
.doc-body a.button,.doc-body a.button:hover{color:var(--paper)}
.signatories-section .section-heading{padding-top:0}
.signatories{list-style:none;padding:0;margin:0;display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:28px 45px}
.signatories li{border-top:1px solid var(--rule);padding-top:18px}
.signatory-name{display:block;font:22px/1.3 var(--serif);letter-spacing:-.025em;margin-bottom:8px}
.signatory-affiliation{display:block;font-size:12px;line-height:1.8;color:var(--muted)}

@media (max-width:1000px){
  .role{gap:36px}
  .manifesto-toc ol{grid-template-columns:repeat(3,minmax(0,1fr));row-gap:20px}
  .manifesto-toc li:nth-child(3){border-right:0;margin-right:0}
}
@media (max-width:760px){
  .draft-banner .wrap{flex-direction:column;align-items:flex-start;gap:4px}
  .hero.hero-solo{padding-block:52px 50px}
  .hero-solo h1{font-size:clamp(34px,9.4vw,52px)}
  .role{grid-template-columns:1fr;gap:20px;padding:32px 0}
  .role h3{font-size:26px}
  .role-summary{max-width:none}
  .results-intro.results-questions{font-size:17px}
  .team-students>p:not(.eyebrow){font-size:18px}
  .manifesto-head{padding-block:52px 44px}
  .manifesto-lead{font-size:21px}
  .manifesto-toc ol{grid-template-columns:1fr;row-gap:0}
  .manifesto-toc li{border-right:0;margin-right:0;padding:12px 0;border-bottom:1px solid var(--rule)}
  .manifesto-toc li::before{display:inline;margin-right:12px}
  .doc-body h3{font-size:21px;margin-top:38px}
  .doc-questions li{font-size:17px}
  .practice-note{padding:18px}
  .signatories{grid-template-columns:1fr 1fr;gap:24px}
  .doc-section .sidenote{grid-row:auto;position:static}
}
@media (max-width:480px){
  .signatories{grid-template-columns:1fr}
}

/* Review comments: yellow highlight, comment shown on hover or keyboard focus */
.review-note{position:relative;margin:2px 0 14px;padding:22px 18px 8px;background:#fbf0c4;border-left:3px solid #d9ae2f;border-radius:2px;max-width:640px;cursor:help}
.review-note:focus{outline:2px solid var(--rust);outline-offset:3px}
.role-practice .review-note>p:not(.review-comment),.practice-note .review-note>p:not(.review-comment){font-size:15px;line-height:1.85;color:#3f453c;margin:0 0 12px}
.practice-note .review-note>p:not(.review-comment){font-size:14px;line-height:1.8}
.practice-note .review-note{margin-bottom:0}
.review-mark{background:#f6df8a;box-shadow:0 0 0 2px #f6df8a;border-radius:1px;cursor:help}
.review-mark:focus{outline:2px solid var(--rust);outline-offset:3px}
.review-anchor{position:relative}
.review-note .review-comment,.review-mark .review-comment{position:absolute;z-index:3;top:-11px;right:12px;margin:0;display:flex;gap:8px;align-items:baseline;max-width:min(360px,calc(100% - 24px));padding:3px 9px;background:var(--ink);color:#f6f3ea;border-radius:4px;box-shadow:0 3px 10px rgba(41,46,40,.18);font:12px/1.5 var(--sans);letter-spacing:0;text-transform:none;text-align:left;white-space:normal;cursor:default}
.review-comment-label{font:10px/1.8 var(--mono);letter-spacing:.1em;text-transform:uppercase;color:#f2df8d;flex:none}
.review-comment-text{position:absolute;width:1px;height:1px;overflow:hidden;clip:rect(0 0 0 0);white-space:nowrap}
.review-note:hover>.review-comment,.review-note:focus-within>.review-comment{padding:8px 11px;top:auto;bottom:calc(100% - 11px)}
.review-note:hover .review-comment-text,.review-note:focus-within .review-comment-text,.review-mark:hover .review-comment-text,.review-mark:focus .review-comment-text{position:static;width:auto;height:auto;overflow:visible;clip:auto;white-space:normal}
/* Inline marks show their comment above the enclosing paragraph, only on hover or focus. */
.review-mark .review-comment{display:none;top:auto;bottom:calc(100% + 6px);left:0;right:auto;padding:8px 11px}
.review-mark:hover .review-comment,.review-mark:focus .review-comment{display:flex}

/* Selected results above the full table */
.results-subhead{font:10px/1.6 var(--mono);letter-spacing:.12em;text-transform:uppercase;margin:40px 0 16px}
.featured-results{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:18px;margin:0 0 8px}
.featured-result{display:flex;flex-direction:column;align-items:flex-start;padding:20px 22px 18px;background:var(--paper);border:1px solid var(--rule)}
.featured-meta{display:flex;flex-wrap:wrap;align-items:center;gap:10px;margin:0 0 12px}
.featured-id{font:11px/1.5 var(--mono);letter-spacing:.04em;color:var(--muted)}
.featured-result h4{font:21px/1.3 var(--serif);letter-spacing:-.02em;margin:0 0 10px}
.featured-result p{font-size:14px;line-height:1.75;color:#3f453c;margin:0 0 12px}
.featured-result .featured-setup{font-size:12px;color:var(--muted);margin-top:auto}
.featured-result .detail-link{font-size:13px}
.featured-papers{display:grid;gap:18px;margin:0 0 18px}
.featured-paper{padding:24px 28px 22px}
.featured-paper h4{font-size:24px}
.featured-paper p{max-width:760px}
.featured-result .featured-authors{font-size:13px;color:var(--muted);margin-top:-4px}
.status-preprint{color:#7a4a2f;background:#f2e5d8;border-color:#dcc0a6}
@media (max-width:760px){.featured-results{grid-template-columns:1fr}.featured-result{padding:18px}.featured-paper h4{font-size:21px}}
