/* A quiet reading surface, shared with the standalone export. */
.writeups-toolbar, .writeup-reader-toolbar { display: flex; justify-content: space-between; align-items: center; gap: 16px; margin: 0 0 24px; }
.writeups-intro { margin: 0; color: #73716b; font-size: 13px; }
.writeups-list { max-width: 920px; border-top: 1px solid #e6e4df; }
.writeup-list-item { display: block; width: 100%; padding: 26px 0; text-align: left; border-bottom: 1px solid #e6e4df; }
.writeup-list-item:hover .writeup-list-title { text-decoration: underline; text-underline-offset: 5px; }
.writeup-list-title { display: block; margin: 8px 0 10px; font: 25px/1.3 Georgia, 'Times New Roman', serif; color: #262522; }
.writeup-list-meta { display: block; color: #77746e; font: 12px/1.6 -apple-system, BlinkMacSystemFont, 'Segoe UI', sans-serif; }
.writeup-list-status { text-transform: capitalize; letter-spacing: .02em; }
.writeup-reader-actions { display: flex; flex-wrap: wrap; gap: 8px; }
.writeup-reader-actions a { text-decoration: none; }
.writeup-print-document { position: fixed; left: -100000px; top: 0; width: 760px; visibility: hidden; pointer-events: none; }
.writeup-reader-toolbar { border-bottom: 1px solid #e6e4df; padding-bottom: 20px; }
.writeup-status { max-width: 680px; margin: 64px auto; padding: 32px; background: #f8f7f4; border: 1px solid #e8e6e0; }
.writeup-status h2 { font: 28px/1.3 Georgia, 'Times New Roman', serif; margin: 8px 0 20px; }
.writeup-status p { color: #68655f; line-height: 1.7; }
.writeup-job-meta { margin: 0 0 24px; color: #77746e; font-size: 12px; text-align: right; }
.writeup-target-options { max-height: 210px; overflow-y: auto; margin: 16px 0; border: 1px solid #e5e5e5; padding: 12px; }
.writeup-target-options legend { padding: 0 5px; color: #666; font-size: 12px; }
.writeup-target-option { display: flex; align-items: baseline; gap: 9px; margin: 8px 0; font-size: 13px; }
.writeup-target-option input { flex-shrink: 0; }
.writeup-reading-layout { display: grid; grid-template-columns: 170px minmax(0, 760px) 100px; justify-content: center; gap: 42px; align-items: start; color: #292824; }
.writeup-contents { position: sticky; top: 30px; max-height: calc(100vh - 60px); overflow-y: auto; padding-top: 10px; font: 12px/1.55 -apple-system, BlinkMacSystemFont, 'Segoe UI', sans-serif; }
.writeup-contents a { display: block; text-decoration: none; color: #727069; padding: 7px 0; overflow-wrap: anywhere; }
.writeup-contents a:hover { color: #24231f; text-decoration: underline; text-underline-offset: 3px; }
.writeup-contents .contents-child { padding: 3px 0 3px 12px; font-size: 11px; }
.writeup-eyebrow { color: #7b776d; font: 10px/1.5 -apple-system, BlinkMacSystemFont, 'Segoe UI', sans-serif; text-transform: uppercase; letter-spacing: .14em; margin: 0 0 16px; }
.writeup-paper { min-width: 0; padding: 12px 0 60px; font: 18px/1.85 Georgia, 'Times New Roman', serif; overflow-wrap: break-word; }
.writeup-paper-header { padding: 0 0 32px; border-bottom: 1px solid #dedbd3; }
.writeup-title { margin: 14px 0 22px; font: normal 42px/1.2 Georgia, 'Times New Roman', serif; letter-spacing: -.025em; color: #25241f; text-wrap: balance; }
.writeup-byline { margin: 0; color: #817b70; font: 12px/1.7 -apple-system, BlinkMacSystemFont, 'Segoe UI', sans-serif; }
.writeup-abstract { margin: 32px 0 50px; padding: 22px 28px; background: #f8f7f3; border-radius: 2px; }
.writeup-abstract h2 { margin: 0 0 12px; color: #716b60; font: 11px/1.5 -apple-system, BlinkMacSystemFont, 'Segoe UI', sans-serif; text-transform: uppercase; letter-spacing: .12em; }
.writeup-abstract .writeup-prose { font-size: 16px; line-height: 1.8; }
.writeup-prose > :first-child { margin-top: 0; }
.writeup-prose > :last-child { margin-bottom: 0; }
.writeup-prose p { margin: 0 0 1.15em; }
.writeup-prose a, .writeup-references a { color: #4b645d; text-underline-offset: 3px; }
.writeup-prose h4, .writeup-prose h5, .writeup-prose h6 { font: bold 18px/1.5 Georgia, 'Times New Roman', serif; margin: 1.8em 0 .7em; }
.writeup-prose ul, .writeup-prose ol { padding-left: 1.5em; margin: 1em 0 1.4em; }
.writeup-prose li { padding-left: .2em; margin: .5em 0; }
.writeup-prose blockquote { border-left: 2px solid #d9d5cb; padding-left: 20px; margin: 1.5em 0; color: #5d584e; }
.writeup-prose pre { overflow: auto; padding: 18px; background: #f7f6f2; font: 13px/1.6 ui-monospace, monospace; }
.writeup-prose code { font: .82em/1.5 ui-monospace, monospace; }
.writeup-prose hr { border: 0; border-top: 1px solid #e7e3da; margin: 2em 0; }
.writeup-prose .paper-table { overflow-x: auto; margin: 1.5em 0; }
.writeup-prose table { width: 100%; border-collapse: collapse; table-layout: auto; font-size: 15px; }
.writeup-prose th, .writeup-prose td { padding: 9px 12px; border-bottom: 1px solid #e5e1d8; text-align: left; }
.writeup-prose .katex { font-size: 1.04em; }
.writeup-prose .katex-display { margin: 1.6em 0; padding: 8px 0; overflow-x: auto; overflow-y: hidden; }
.writeup-conjecture { margin: 0 0 54px; }
.writeup-conjecture + .writeup-conjecture { border-top: 1px solid #dedbd3; padding-top: 42px; }
.writeup-conjecture .writeup-eyebrow { margin-bottom: 8px; }
.writeup-conjecture-title { margin: 0 0 8px; font: normal 30px/1.35 Georgia, 'Times New Roman', serif; color: #292722; }
.writeup-source-paper { margin: 0 0 22px; color: #837d72; font-size: 15px; font-style: italic; line-height: 1.6; }
.writeup-original { margin: 20px 0 36px; border-top: 1px solid #ece9e2; border-bottom: 1px solid #ece9e2; padding: 12px 0; }
.writeup-original summary { cursor: pointer; color: #80786b; font: 12px/1.7 -apple-system, BlinkMacSystemFont, 'Segoe UI', sans-serif; }
.writeup-original .writeup-prose { margin: 18px 0 8px; font-size: 16px; }
.writeup-part { margin: 36px 0; scroll-margin-top: 28px; }
.writeup-part h3 { margin: 0 0 14px; font: bold 21px/1.4 Georgia, 'Times New Roman', serif; color: #353127; }
.writeup-recorded { display: inline-block; margin: 0 0 18px; padding: 4px 0; border-bottom: 1px solid #d6d3c7; color: #78715f; font: 10px/1.6 -apple-system, BlinkMacSystemFont, 'Segoe UI', sans-serif; letter-spacing: .07em; text-transform: uppercase; }
.writeup-full-contents { margin: 24px 0 0; border: 1px solid #e5e1d8; border-radius: 3px; }
.writeup-full-contents > summary { cursor: pointer; padding: 14px 18px; background: #faf9f6; color: #615b50; font: 13px/1.6 -apple-system, BlinkMacSystemFont, 'Segoe UI', sans-serif; }
.writeup-full-contents > summary:hover { color: #292824; background: #f5f3ee; }
.writeup-full-contents[open] > summary { border-bottom: 1px solid #e5e1d8; }
.writeup-full-reports { padding: 20px 24px 26px; }
.writeup-report-note { margin: 0 0 22px; color: #7b7468; font: 12px/1.7 -apple-system, BlinkMacSystemFont, 'Segoe UI', sans-serif; }
.writeup-report + .writeup-report { border-top: 1px solid #e5e1d8; margin-top: 32px; padding-top: 28px; }
.writeup-report-header { display: flex; align-items: flex-start; justify-content: space-between; flex-wrap: wrap; gap: 12px; margin-bottom: 24px; }
.writeup-report-title { margin: 0; font: bold 17px/1.5 Georgia, 'Times New Roman', serif; }
.writeup-report-meta { margin: 5px 0 0; color: #81796b; font: 11px/1.6 -apple-system, BlinkMacSystemFont, 'Segoe UI', sans-serif; text-transform: capitalize; }
.writeup-report-format { color: #7b7468; font: 11px/1.5 -apple-system, BlinkMacSystemFont, 'Segoe UI', sans-serif; }
.writeup-report-format select { margin-left: 5px; padding: 5px 7px; background: #fff; color: #615b50; border: 1px solid #ded9cf; border-radius: 3px; font: inherit; }
.writeup-report-body { font-size: 16px; line-height: 1.85; }
.writeup-report-body :is(h1, h2, h3, h4, h5, h6) { margin: 1.6em 0 .7em; font: bold 18px/1.5 Georgia, 'Times New Roman', serif; }
.writeup-report-body pre { white-space: pre-wrap; overflow-wrap: anywhere; }
.writeup-source-note { color: #80796b; font-size: 13px; font-style: italic; }
.writeup-references { border-top: 1px solid #dedbd3; padding-top: 28px; }
.writeup-references h2 { margin: 0 0 20px; font: normal 25px/1.4 Georgia, 'Times New Roman', serif; }
.writeup-references ol { padding-left: 24px; font-size: 14px; line-height: 1.7; }
.writeup-references li { margin: 0 0 14px; padding-left: 4px; }
.writeup-reference-url { display: block; overflow-wrap: anywhere; font: 11px/1.6 -apple-system, BlinkMacSystemFont, 'Segoe UI', sans-serif; color: #8b8375; }
.writeup-colophon { margin-top: 48px; padding-top: 18px; border-top: 1px solid #e6e1d7; color: #8a8172; font: 11px/1.8 -apple-system, BlinkMacSystemFont, 'Segoe UI', sans-serif; }
.writeup-export { margin: 0; padding: 0 32px 60px; background: #fff; color: #292824; }
.writeup-export * { box-sizing: border-box; }
.writeup-export [hidden] { display: none !important; }
.writeup-export .export-toolbar { display: flex; flex-wrap: wrap; justify-content: space-between; align-items: center; gap: 16px; max-width: 1150px; margin: 0 auto 36px; padding: 22px 0; border-bottom: 1px solid #e5e1d9; font: 12px/1.5 -apple-system, BlinkMacSystemFont, 'Segoe UI', sans-serif; color: #797165; }
.writeup-export button { border: 1px solid #d9d4ca; border-radius: 3px; background: #fff; padding: 9px 14px; font: inherit; cursor: pointer; }
@media (max-width: 1150px) {
  .writeup-reading-layout { grid-template-columns: 140px minmax(0, 720px); gap: 30px; }
}
@media (max-width: 850px) {
  .writeup-reading-layout { display: block; max-width: 720px; margin: auto; }
  .writeup-contents { display: none; }
  .writeup-title { font-size: 34px; }
  .writeup-paper { font-size: 17px; }
  .writeup-abstract { padding: 20px; }
  .writeup-reader-toolbar, .writeups-toolbar { align-items: flex-start; flex-direction: column; }
  .writeup-job-meta { text-align: left; }
}
@media (max-width: 520px) {
  .masthead { gap: 0 18px; }
  .masthead nav { gap: 14px; }
  .masthead .usage-button { font-size: 0; }
  .masthead .usage-button::after { content: 'Usage'; font-size: 11px; }
  .writeup-title { font-size: 30px; }
  .writeup-conjecture-title { font-size: 25px; }
  .writeup-export { padding: 0 20px 40px; }
  .writeup-paper { line-height: 1.8; }
  .writeup-status { margin: 24px 0; padding: 22px; }
  .writeup-full-reports { padding: 18px 14px 22px; }
}
@media print {
  @page { size: auto; margin: 20mm 18mm; }
  body[data-writeup-print-mode] > :not(.writeup-print-document) { display: none !important; }
  .writeup-print-document { position: static; inset: auto; width: auto; visibility: visible; }
  body[data-view="writeups"] { font-size: 11pt; background: white; }
  body[data-view="writeups"] .masthead, body[data-view="writeups"] .intro,
  body[data-view="writeups"] .page-footer, body[data-view="writeups"] .notice,
  .writeup-reader-toolbar, .writeup-job-meta, .writeup-contents, .export-toolbar,
  .writeup-status, #writeups-error { display: none !important; }
  body[data-view="writeups"] main, .writeup-export { padding: 0; max-width: none; }
  .writeup-reading-layout { display: block; max-width: none; }
  .writeup-paper { padding: 0; font-size: 11pt; line-height: 1.65; }
  .writeup-title { font-size: 28pt; }
  .writeup-paper h1, .writeup-paper h2, .writeup-paper h3, .writeup-paper h4 { break-after: avoid; }
  .writeup-prose p { orphans: 3; widows: 3; }
  .writeup-prose .katex-display { overflow: visible; break-inside: avoid; font-size: .92em; }
  .writeup-abstract { padding: 16px 0; background: none; }
  .writeup-abstract .writeup-prose { font-size: 10.5pt; }
  .writeup-conjecture-title { font-size: 21pt; }
  .writeup-part h3 { font-size: 15pt; }
  .writeup-paper a { color: inherit; }
  .writeup-original:not([open]) { display: none; }
  .writeup-full-contents:not([open]), .writeup-report-format { display: none; }
  .writeup-full-contents { border: 0; border-top: 1px solid #dedbd3; border-radius: 0; }
  .writeup-full-contents > summary { padding: 12px 0; background: none; font-size: 10pt; break-after: avoid; }
  .writeup-full-reports { padding: 16px 0; }
  .writeup-report-body { font-size: 10.5pt; }
  .writeup-report-header { break-after: avoid; }
}
/* The hosted reader uses ProbXiv's hierarchy without changing saved prose. */
.writeup-reading-layout,.writeup-paper,.writeup-status { max-width:none; }
.writeup-title { font-size:30px; }
.writeup-conjecture-title { font-size:20px; }
.writeup-part h3 { font-size:18px; }
.writeup-abstract { border-radius:0; background:transparent; border-top:1px solid #dddddd; border-bottom:1px solid #dddddd; }
.writeup-report-format select { border-radius:0; }
.writeup-prose a,.writeup-references a { color:#7d2231; }