.rounding-post {
  --font-body: var(--site-font);
  --font-head: var(--site-font);
  --font-meta: var(--site-font);
  --font-ui: var(--site-font);
  --text: var(--site-ink);
  --rule: var(--site-line);
  --inline-bg: var(--site-hover);
  --text-w: 780px;
  --gutter: 0px;
  --margin-w: 0px;
}
.rounding-post .l-grid {
  width: min(var(--text-w), calc(100% - 48px)); margin-inline: auto;
  grid-template-columns: [screen-start page-start text-start] minmax(0,1fr)
    [text-end page-end screen-end];
}
.rounding-post .byline-grid { grid-column: text; }
.rounding-post .d-title { padding-top: 35px; }
.rounding-post .d-title h1 { grid-column: text; margin-bottom: 14px; }
.rounding-post .d-title .subtitle { margin-bottom: 24px; color: var(--site-muted); font-size: 18px; }
.rounding-post .d-hero { display: none; }
.rounding-post .byline-grid { grid-template-columns: minmax(0,1fr) auto; gap: 4px 20px; border: 0; padding: 0; }
.rounding-post .byline-grid h3 { display: none; }
.rounding-post .byline-grid .cell { grid-row: auto !important; min-width: 0; font-size: 14px; }
.rounding-post .byline-grid .author { grid-column: 1; }
.rounding-post .byline-grid .affiliation { grid-column: 2; }
.rounding-post .byline-grid .pub { grid-column: 2; grid-row: 1 / span 2 !important; }
.rounding-post .d-byline a { color: var(--site-muted); }
.rounding-post .d-toc { margin: 26px auto 0; }
.rounding-post .d-toc .toc-box { padding-bottom: 18px; }
.rounding-post .d-toc h3 { display: none; }
.rounding-post .d-toc ol { columns: 2; gap: 24px; }
.rounding-post .d-toc li { font-size: 13px; margin-bottom: 8px; }
.rounding-post .d-toc li a { font-weight: 400; color: var(--site-muted) !important; }
.rounding-post .d-article { padding-top: 8px; padding-bottom: 28px; }
.rounding-post .d-article h2[id] { margin-top: 32px; padding-top: 0; border: 0; }
.rounding-post .d-article h2[id]::before { content: none; }
.rounding-post .d-article h3 { margin: 23px 0 9px; }
.rounding-post .d-article p { margin-bottom: 18px; }
.rounding-post .d-article .math-display { margin: 8px 0 16px; }
body.blog-page.rounding-post[data-theme="dark"] .d-article .math-display {
  background: transparent !important; border: 0 !important; box-shadow: none !important;
}
.rounding-post .katex { font-size: 1.02em; }
.rounding-post .katex-display {
  max-width: 100%; margin: 10px 0; padding: 3px 0;
  overflow-x: auto; overflow-y: hidden;
}
.rounding-post .d-article a { border: 0; }
.rounding-post .operator-catalogue { margin: 6px 0 24px; }
body.blog-page.rounding-post .operator-inventory {
  display: table; width: 100%; table-layout: fixed; border-collapse: collapse;
  font-size: 14px; line-height: 1.65;
}
.rounding-post .operator-inventory caption {
  text-align: left; color: var(--site-ink); font-size: 16px; font-weight: 600;
  padding: 0 0 12px;
}
.rounding-post .inventory-total { margin-left: 12px; font-size: 14px; font-weight: 400; color: var(--site-muted); }
body.blog-page.rounding-post .operator-inventory :is(th,td) {
  background: transparent !important; color: var(--site-ink) !important;
  text-align: left; vertical-align: top; padding: 12px 14px;
  border: 0; border-bottom: 1px solid var(--site-line);
  overflow-wrap: break-word;
}
.rounding-post .operator-inventory .family-column { width: 21%; }
.rounding-post .operator-inventory .count-column { width: 75px; }
.rounding-post .operator-inventory tbody th { font-weight: 500; }
.rounding-post .operator-inventory td:nth-child(2) { font-variant-numeric: tabular-nums; color: var(--site-muted) !important; }
.rounding-post .operator-inventory .op-name { display: inline-block; white-space: nowrap; margin-right: 4px; }
.rounding-post .operator-inventory code { background: none; padding: 0; font-size: 13px; }
.rounding-post .operator-inventory .missing-rule { text-decoration: underline dotted; text-underline-offset: 4px; }
.rounding-post .proof-details { margin: 0 0 20px; min-width: 0; }
.rounding-post .proof-details > summary { padding: 6px 0; color: var(--site-link); font-size: 15px; cursor: pointer; }
.rounding-post .proof-details > summary:focus-visible { outline: 2px solid var(--site-link); outline-offset: 4px; }
.rounding-post .proof-details[open] > summary { margin-bottom: 8px; }
.rounding-post .proof-details pre { font-size: 13px; background: #f7f8fa; color: #24292e; }
.rounding-post .proof-details pre[data-language="lean"] {
  line-height: 1.65; tab-size: 2; white-space: pre-wrap; overflow-wrap: anywhere;
}
.rounding-post .proof-details :is(.lean-k,.lean-kd,.lean-kn,.lean-kp,.lean-kr) { color: #b42339; }
.rounding-post .proof-details :is(.lean-kt,.lean-nc,.lean-nf,.lean-nn,.lean-nl) { color: #0550ae; }
.rounding-post .proof-details :is(.lean-nb,.lean-m,.lean-mi,.lean-mf,.lean-mh) { color: #6e40c9; }
.rounding-post .proof-details :is(.lean-c,.lean-c1,.lean-cm,.lean-cs,.lean-sd) { color: #57606a; }
.rounding-post .proof-details :is(.lean-s,.lean-s1,.lean-s2) { color: #0a5d39; }
.rounding-post .d-appendix { padding-top: 18px; border-color: var(--site-line); }
.rounding-post .d-appendix p { font-size: 15px; }
.rounding-post .citation { white-space: pre-wrap; overflow-wrap: anywhere; }

/* The figures keep their recorded data and light plotting palette in either theme. */
.rounding-post .d-article figure {
  min-width: 0; max-width: 100%; padding: 15px 0;
  margin: 10px 0 26px; border: 0; border-radius: 0;
  background: #fff; color: #202124;
  font-family: var(--site-font); font-size: 14px; line-height: 1.5;
}
.rounding-post .d-article figure :is(p,li) { font-size: inherit; line-height: inherit; }
body.blog-page.rounding-post[data-theme="dark"] .d-article figure :is(p,li,strong,b) { color: #202124 !important; }
.rounding-post .d-article figure figcaption {
  max-width: 100%; margin-top: 18px; padding: 14px 0 0;
  border-top: 1px solid #e5e7ea; background: #fff !important;
  color: #535861 !important; font-size: 14px; line-height: 1.65;
}
.rounding-post .figure-caption-title { display: block; color: #202124; font-size: 16px; margin-bottom: 5px; }
body.blog-page.rounding-post[data-theme="dark"] .d-article figure figcaption { color: #535861 !important; }
.rounding-post .figure-method { margin-top: 10px; font-size: 13px; line-height: 1.65; color: #535861; }
.rounding-post .figure-method summary { cursor: pointer; width: fit-content; }
.rounding-post .figure-method p { margin: 8px 0 0; }
.rounding-post .enhanced [hidden] { display: none !important; }
.rounding-post .enhanced :is(.lss,.mps,.dps,.atd,.bmd) { max-width: 100%; overflow-x: auto; }
.rounding-post .oc .oc-key { display: flex; flex-wrap: wrap; gap: 8px 16px; }
.rounding-post .oc .oc-key > span { margin: 0; white-space: normal; }
.rounding-post .figure-toolbar {
  display: flex; align-items: end; flex-wrap: wrap; gap: 12px 20px; margin-bottom: 16px;
  font-size: 13px; line-height: 1.5;
}
.rounding-post .figure-toolbar label { display: flex; flex-direction: column; gap: 5px; color: #62666d; font-size: 12px; }
.rounding-post .figure-toolbar label > span {
  display: block; padding: 0; border: 0; border-radius: 0;
  background: transparent; color: #535861; font-size: 13px; line-height: 1.5;
}
.rounding-post .figure-toolbar input {
  position: static; opacity: 1; clip: auto; clip-path: none;
  pointer-events: auto; transform: none;
}
.rounding-post .figure-toolbar :is(select,input[type="search"]) {
  max-width: 100%; min-height: 38px; border: 1px solid #d7dbe0;
  border-radius: 4px; padding: 5px 8px; background: #fff; color: #202124;
  font: 14px var(--site-font);
}
.rounding-post .figure-toolbar input[type="search"] { width: 190px; }
.rounding-post .figure-toolbar .check-control { flex-direction: row; align-items: center; gap: 6px; min-height: 34px; color: #202124; }
.rounding-post .figure-toolbar input[type="checkbox"] { accent-color: #285ac4; width: 16px; height: 16px; }
.rounding-post .figure-toolbar .range-control { flex: 1 1 180px; max-width: 360px; }
.rounding-post input[type="range"] { width: 100%; margin: 7px 0; accent-color: #285ac4; min-height: 22px; cursor: pointer; }
.rounding-post .step-arrow {
  display: grid; place-items: center; width: 36px; height: 36px; padding: 0;
  background: transparent; border: 1px solid #d7dbe0; border-radius: 4px; cursor: pointer;
}
.rounding-post .step-arrow:disabled { opacity: 0.35; cursor: default; }
.rounding-post .step-arrow span {
  display: block; width: 18px; height: 18px; background: #202124;
  mask: url("/assets/img/icons/chevron-down.svg") center / contain no-repeat;
  -webkit-mask: url("/assets/img/icons/chevron-down.svg") center / contain no-repeat;
  transform: rotate(90deg);
}
.rounding-post .step-arrow.next span { transform: rotate(-90deg); }
.rounding-post .figure-note { margin: 10px 0 16px !important; color: #202124; font-size: 15px; }
.rounding-post .inspector { display: block; margin: 16px 0; padding: 16px 0 0; border-top: 1px solid #e5e7ea; overflow-wrap: anywhere; color: #3d4148; font-size: 14px; }
.rounding-post .inspector:empty { display: none; }
.rounding-post .result-heading { display: flex; align-items: baseline; flex-wrap: wrap; gap: 6px 16px; margin-bottom: 12px; }
.rounding-post .result-heading strong { font-size: 18px; font-weight: 600; }
.rounding-post .result-heading span { font-size: 14px; color: #62666d; }
.rounding-post .result-status { font-weight: 500; margin: 0 0 12px !important; }
.rounding-post .result-values { display: grid; grid-template-columns: repeat(3,minmax(0,1fr)); gap: 16px 24px; margin: 0 0 16px; }
.rounding-post .result-values div { min-width: 0; }
.rounding-post .result-values dt { color: #62666d; font-size: 13px; margin-bottom: 5px; }
.rounding-post .result-values dd { margin: 0; color: #202124; font: 15px/1.65 var(--font-mono); overflow-wrap: anywhere; }
.rounding-post .result-call { display: block; white-space: pre-wrap; font: 13px/1.7 var(--font-mono); color: #202124; }
.rounding-post .result-record { margin-top: 12px; font-size: 13px; }
.rounding-post .result-record summary { cursor: pointer; color: #535861; }
.rounding-post .result-record p { margin: 10px 0 0; white-space: pre-line; line-height: 1.7; }
.rounding-post .result-note { font-size: 13px; color: #62666d; margin: 8px 0 0 !important; }
.rounding-post small.result-note { display: block; }
.rounding-post .figure-count { align-self: center; font-size: 12px; color: #62666d; }
.rounding-post .enhanced .ctl { margin-bottom: 15px; }
.rounding-post .stp.enhanced > .ctl, .rounding-post .ls.enhanced > .ctl { display: none; }
.rounding-post .step-navigation { display: flex; align-items: end; gap: 12px; flex: 1 1 300px; }
.rounding-post .step-navigation .range-control { max-width: none; }
.rounding-post .step-comparison { display: grid; grid-template-columns: repeat(2,minmax(0,1fr)); gap: 32px; }
.rounding-post .stp .lane { border: 0; padding: 0; margin: 0; min-width: 0; }
.rounding-post .stp .lh { font-size: 15px; padding-bottom: 8px; border-bottom: 2px solid #2a78d6; }
.rounding-post .stp .tl .lh { border-color: #c45a28; }
.rounding-post .stp .bxs { display: block; }
.rounding-post .stp.enhanced .bx:not(.is-current), .rounding-post .stp.enhanced .sm { display: none; }
.rounding-post .stp.enhanced .bx.is-current {
  min-width: 0; min-height: 150px; padding: 8px 0; border: 0; outline: 0;
  box-shadow: none; opacity: 1; border-radius: 0;
}
.rounding-post .stp .bx .bt { font-size: 14px; line-height: 1.5; margin-bottom: 8px; white-space: normal; }
.rounding-post .stp .bx .ln, .rounding-post .stp .bx .ln.sk {
  display: flex; align-items: baseline; gap: 12px; flex-wrap: wrap; padding: 2px 0;
}
.rounding-post .stp .bx .ln i, .rounding-post .stp .bx .ln.sk i {
  display: inline; width: auto; color: #535861; font-size: 14px;
}
.rounding-post .stp .bx .ln b, .rounding-post .stp .bx .ln.sk b {
  display: inline; width: auto; font-size: 17px; line-height: 1.5; overflow-wrap: anywhere;
}
.rounding-post .stp .bx .nt { font-size: 13px; line-height: 1.5; margin-top: 6px; }
.rounding-post .stp .bx .v.zero { color: #fff !important; }
.rounding-post .stp .bx .cd { display: none !important; }
.rounding-post .selected-step-data { margin-top: 12px; font-size: 13px; }
.rounding-post .selected-step-data summary { cursor: pointer; color: #285ac4; }
.rounding-post .selected-step-data table { min-width: 640px; font-size: 13px; color: #202124; }
.rounding-post .selected-step-data > div { overflow: auto; }
.rounding-post .selected-step-data .cd { display: block; position: static; width: auto; padding: 10px 0; box-shadow: none; }
.rounding-post .selected-step-data .cd td:nth-child(n+3) { font-size: 13px; }
.rounding-post .pr.enhanced > :is(.ctl,.trk), .rounding-post .bm.enhanced > .ctl { display: none; }
.rounding-post .pr .rdx, .rounding-post .pr .rdl {
  grid-template-columns: 160px minmax(0,1fr) 160px; gap: 12px; padding: 12px 0;
  border-bottom: 1px solid #e5e7ea;
}
.rounding-post .pr .rdn, .rounding-post .pr .rdc { font-size: 14px; }
.rounding-post .pr .rdv { font-size: 18px; letter-spacing: 0; white-space: normal; overflow-wrap: anywhere; }
.rounding-post .pr.enhanced .rdh { display: none; }
.rounding-post .pr .rdw { max-width: none; padding: 0; border: 0; font-size: 14px; margin: 12px 0 0; }
.rounding-post .pr .rds { min-height: 0; }

.rounding-post :is(.ls .lsl,.bm .bml) { gap: 8px 16px; font-size: 13px; margin-bottom: 16px; }
.rounding-post :is(.ls .lg,.bm .lg) { white-space: normal; }
.rounding-post :is(.ls .lg i,.bm .lg i) { flex: 0 0 15px; height: 15px; }
.rounding-post .ls .lsk { font-size: 14px; margin: 0 0 16px; }
.rounding-post .ls.enhanced .lsk { display: none; }
.rounding-post .ls .case-context { font-size: 14px; margin: 0 0 12px; }
.rounding-post .ls .lsh { font-size: 15px; margin: 0 0 12px; }
.rounding-post .ls .lsp { margin-bottom: 22px; }
.rounding-post .ls .lss { overflow: visible; }
.rounding-post .format-axes { display: flex; flex-wrap: wrap; gap: 4px 24px; font-size: 13px; color: #535861; margin-bottom: 8px; }
.rounding-post .ls .lsw {
  grid-template-columns: minmax(840px,1fr) 120px; gap: 20px; padding: 20px 6px 8px 0;
  overflow-x: auto;
}
.rounding-post .ls .lsg { width: auto; grid-template-columns: 28px repeat(52,minmax(0,1fr)); grid-auto-rows: 20px; gap: 2px; }
.rounding-post .ls .lsg i.nm b { font-size: 11px; font-weight: 500; }
.rounding-post .ls .ey, .rounding-post .ls .fx { font-size: 12px; line-height: 20px; color: #535861; }
.rounding-post .ls .ey { position: sticky; left: 0; z-index: 3; background: #fff; }
.rounding-post .ls .is-comparison { outline: 3px solid #202124; outline-offset: 2px; z-index: 3; }
.rounding-post .ls .lsx { grid-template-columns: 1fr; grid-auto-rows: 20px; gap: 8px; }
.rounding-post .ls .xr { font-size: 12px; gap: 8px; }
.rounding-post .ls .xr i { width: 20px; height: 20px; }
.rounding-post .ls .lsd { font-size: 14px; overflow-x: auto; }
.rounding-post .ls .lst { width: 100%; }

.rounding-post .bm { --matrix-cell: 24px; }
.rounding-post .bm :is(.nd,.mr i) { animation: none !important; opacity: 1 !important; }
.rounding-post .bm .dps { overflow: visible; }
.rounding-post .bm .dp { border: 0; padding: 0; }
.rounding-post .bm .bd { margin: 0 0 20px; }
.rounding-post .bm .bh { font-size: 15px; line-height: 1.6; margin-bottom: 14px; }
.rounding-post .bm .br { display: flex; flex-wrap: wrap; gap: 20px 28px; }
.rounding-post .bm .gp { display: contents; }
.rounding-post .bm .nd { display: block; margin: 0; min-width: 75px; max-width: 100%; }
.rounding-post .bm .nl { font-size: 13px; line-height: 1.5; margin-bottom: 7px; white-space: normal; }
.rounding-post .bm .nc { grid-auto-rows: var(--matrix-cell); gap: 3px; max-width: 100%; }
.rounding-post .bm .nc i { cursor: pointer; }
.rounding-post :is(.format-overview,.cumulative-error,.bm .bmd) { margin: 14px 0; font-size: 14px; }
.rounding-post :is(.format-overview,.cumulative-error) > summary { cursor: pointer; color: #535861; }
.rounding-post .format-overview .mps { margin-top: 14px; }
.rounding-post .bm .sns { min-height: 0; margin-top: 10px; }
.rounding-post .bm .sn { font-size: 14px; padding: 0; border: 0; }
.rounding-post .bm .mh { font-size: 12px; white-space: normal; }
.rounding-post .bm .mh b { font-size: 13px; }
.rounding-post .bm .mp:focus-visible { outline: 2px solid #285ac4; outline-offset: 2px; }

body.blog-page.rounding-post .d-article figure :is(td,th) {
  background: #fff !important; color: #202124 !important; border-color: #e5e7ea;
}
.rounding-post :is(.ls .lst,.bm .bmt) :is(th,td) { font-size: 13px; padding: 8px 12px; }
.rounding-post .oc .table-wrap { max-height: 680px; overflow: auto; border-block: 1px solid #e5e7ea; }
.rounding-post .oc .table-wrap:focus-visible { outline: 2px solid #285ac4; outline-offset: 3px; }
.rounding-post .oc table.oc-t { width: 100%; table-layout: fixed; font-size: 14px; line-height: 1.65; margin: 0; }
.rounding-post .oc .oc-t :is(th,td) { padding: 12px; overflow-wrap: anywhere; }
.rounding-post .oc .oc-t thead th { position: sticky; top: 0; z-index: 2; font-size: 13px; white-space: normal; }
.rounding-post .oc .oc-t tr.grp th { font-size: 14px; text-transform: none; font-weight: 600; letter-spacing: 0; }
.rounding-post .oc .oc-t code { white-space: normal; overflow-wrap: anywhere; }
.rounding-post .oc .oc-x { font-size: 13px; }
.rounding-post .oc .oc-w { white-space: normal; }
.rounding-post .oc .oc-n { margin-left: 0; font-size: 13px; }
.rounding-post .oc .g { flex: 0 0 11px; }
.rounding-post .oc .oc-key { font-size: 13px; }
.rounding-post .oc.enhanced .table-wrap { overflow-x: hidden; overflow-y: auto; }
.rounding-post .oc.enhanced table.oc-t { display: block; min-width: 0; max-width: 100%; }
.rounding-post .oc.enhanced .oc-t thead { display: none; }
.rounding-post .oc.enhanced .oc-t tbody { display: block; width: 100%; }
.rounding-post .oc.enhanced .oc-t tr {
  display: grid; grid-template-columns: repeat(4,minmax(0,1fr)); gap: 14px 20px;
  width: 100%; min-width: 0; padding: 18px 0; border-bottom: 1px solid #e5e7ea;
}
.rounding-post .oc.enhanced .oc-t :is(th,td) {
  display: block; width: auto; min-width: 0; max-width: 100%; padding: 0;
  border: 0; white-space: normal; overflow-wrap: anywhere;
}
.rounding-post .oc.enhanced .oc-t tbody th[scope="row"],
.rounding-post .oc.enhanced .oc-in { grid-column: 1 / -1; width: 100%; }
.rounding-post .oc.enhanced .oc-c { font-size: 16px; font-weight: 600; line-height: 1.5; }
.rounding-post .oc.enhanced .oc-calls {
  display: block; margin-top: 5px; color: #535861; font: 13px/1.7 var(--site-font);
}
.rounding-post .oc.enhanced .oc-calls code { font-size: 12px; }
.rounding-post .oc.enhanced td::before {
  content: attr(data-column); display: block; margin-bottom: 5px;
  color: #62666d; font: 12px/1.5 var(--site-font);
}
.rounding-post .oc.enhanced .oc-in { font-size: 13px; }
.rounding-post .oc.enhanced .oc-w { display: flex; align-items: center; gap: 6px; font-size: 13px; }
.rounding-post .oc.enhanced .oc-n { display: block; margin: 5px 0 0; font-size: 13px; line-height: 1.6; }
.rounding-post .oc.enhanced .oc-t tr.grp { display: block; padding: 14px 0 0; border: 0; }
.rounding-post .oc.enhanced .grp th { font-size: 13px; font-weight: 500; }
@media (max-width: 700px) {
  .rounding-post .oc.enhanced .oc-t tr { grid-template-columns: repeat(2,minmax(0,1fr)); gap: 14px 18px; }
}
.rounding-post .at .ar { min-height: 35px; height: auto; }
.rounding-post .at .aw { max-height: 600px; overflow: auto; border-block: 1px solid #e5e7ea; }
.rounding-post .at .ar.ah { position: sticky; top: 0; z-index: 5; background: #fff; padding: 10px 0 6px; }
.rounding-post .at .ah > .rl { font-size: 13px; font-weight: 600; }
.rounding-post .at .rl { position: sticky; left: 0; z-index: 2; background: #fff; width: 170px; overflow: visible; white-space: normal; line-height: 1.4; padding: 6px 12px 6px 0; }
.rounding-post .at .rl code { font-size: 13px; background: none; overflow-wrap: anywhere; }
.rounding-post .at .gc { display: inline-flex; }
.rounding-post .at .gc i, .rounding-post .at .cl { width: 74px; flex: 0 0 74px; margin-right: 3px; }
.rounding-post .at .gc i { height: 28px; cursor: pointer; display: inline-grid; place-items: center; font: 12px/1 var(--font-ui); }
.rounding-post .at .gc i:is(.c2,.c3,.n) { color: #fff; }
.rounding-post .at i.n { background: #b73333; }
.rounding-post .at .gc i:not(.c2):not(.c3):not(.n) { color: #202124; }
.rounding-post .at .gc i:first-child, .rounding-post .at .cl.ln:first-child { margin-right: 3px; }
.rounding-post .at .cl { height: 45px; display: inline-grid; place-items: center; }
.rounding-post .at .cl span { position: static; transform: none; white-space: normal; font-size: 12px; line-height: 1.35; text-align: center; }
.rounding-post .at .cl small { display: block; color: #62666d; font-size: 11px; margin-top: 3px; }
.rounding-post .at .gn { font-size: 13px; padding-bottom: 7px; margin-bottom: 7px; }
.rounding-post .at .af > summary { position: sticky; left: 0; width: fit-content; font-size: 14px; padding: 12px 0 8px; }
.rounding-post .at .gc i[data-t]:hover::after, .rounding-post .ls i:hover::after,
.rounding-post .bm i[data-t]:hover::after { display: none; }
.rounding-post .at .al { font-size: 13px; gap: 8px 18px; margin-bottom: 16px; max-width: 1200px; }
.rounding-post .at .legend-unit { color: #285ac4 !important; font-size: 13px; }
.rounding-post .at .al .lg { max-width: 100%; white-space: normal; }
.rounding-post .at .gc i[aria-pressed="true"] { outline: 2px solid #202124; outline-offset: 2px; }
.rounding-post .at .gc i:focus-visible { outline: 2px solid #202124; outline-offset: 2px; }
.rounding-post .at .grid-empty { padding: 18px 0; color: #62666d; }
.rounding-post .at.enhanced .aw { max-height: 480px; overflow-x: hidden; overflow-y: auto; }
.rounding-post .at.enhanced .ag { width: 100%; min-width: 0; }
.rounding-post .at.enhanced .ar {
  display: grid; grid-template-columns: var(--atlas-label-width) minmax(0,1fr);
  min-width: 0; min-height: 30px; width: 100%; height: auto; align-items: start;
}
.rounding-post .at.enhanced .rl {
  position: static; width: auto; min-width: 0; padding: 5px 10px 5px 0;
  font-size: 12px; line-height: 1.4; overflow-wrap: anywhere;
}
.rounding-post .at.enhanced .rl code { font-size: 12px; }
.rounding-post .at.enhanced .ah > .rl { align-self: end; }
.rounding-post .at.enhanced .gh { display: block; min-width: 0; width: 100%; margin: 0; }
.rounding-post .at.enhanced .gn { font-size: 12px; }
.rounding-post .at.enhanced .gc {
  display: grid; grid-template-columns: repeat(var(--atlas-column-count),minmax(0,1fr));
  gap: 3px; width: 100%; max-width: calc(var(--atlas-column-count) * 52px); min-width: 0; margin: 0;
}
.rounding-post .at.enhanced .gc i, .rounding-post .at.enhanced .cl {
  width: 100%; min-width: 0; max-width: 100%; margin: 0; height: 26px;
  font-size: 11px; line-height: 1; box-sizing: border-box;
}
.rounding-post .at.enhanced .cl {
  display: flex; justify-content: center; align-items: center; height: 46px;
}
.rounding-post .at.enhanced .cl span { font-size: 10px; line-height: 1.35; }
.rounding-post .at.enhanced .cl small { font-size: 10px; }
.rounding-post .atlas-pagination { display: flex; align-items: center; gap: 8px; }
.rounding-post .atlas-column-range { min-width: 66px; text-align: center; font-size: 12px; color: #62666d; }
.rounding-post .enhanced [data-t][role="button"]:focus-visible { outline: 2px solid #285ac4; outline-offset: 2px; }
.rounding-post .enhanced [aria-pressed="true"][data-t] { outline: 2px solid #202124; outline-offset: 2px; }
@media (max-width: 760px) {
  .rounding-post .operator-inventory .family-column { width: 25%; }
  .rounding-post .result-values { grid-template-columns: repeat(2,minmax(0,1fr)); }
  .rounding-post .pr .rdx, .rounding-post .pr .rdl { grid-template-columns: 130px minmax(0,1fr); }
  .rounding-post .pr .rdc { grid-column: 2; }
  .rounding-post .step-navigation { flex-basis: 100%; }
  .rounding-post .bm .mps { grid-template-columns: repeat(2,minmax(0,1fr)); }
  .rounding-post .d-toc ol { columns: 1; }
  .rounding-post .byline-grid { grid-template-columns: minmax(0,1fr) auto; gap: 5px 15px; }
  .rounding-post .byline-grid .pub { grid-column: 1 / -1; grid-row: 3 !important; }
}
@media (max-width: 600px) {
  .rounding-post .l-grid { width: calc(100% - 40px); }
  .rounding-post .step-comparison { grid-template-columns: 1fr; gap: 20px; }
  .rounding-post .stp.enhanced .bx.is-current { min-height: 115px; }
  .rounding-post .bm .mps { grid-template-columns: 1fr; }
  .rounding-post .oc .table-wrap { max-height: 650px; }
}
@media (max-width: 480px) {
  body.blog-page.rounding-post .operator-inventory { display: block; }
  .rounding-post .operator-inventory :is(thead,colgroup) { display: none; }
  .rounding-post .operator-inventory caption, .rounding-post .operator-inventory tbody { display: block; }
  .rounding-post .inventory-total { display: block; margin: 2px 0 0; }
  .rounding-post .operator-inventory tr { display: grid; grid-template-columns: 1fr auto; padding: 12px 0; border-top: 1px solid var(--site-line); }
  body.blog-page.rounding-post .operator-inventory :is(th,td) { padding: 0; border: 0; font-size: 14px; }
  .rounding-post .operator-inventory td:last-child { grid-column: 1 / -1; margin-top: 5px; }
  .rounding-post .operator-inventory code { font-size: 13px; }
  .rounding-post .result-values { grid-template-columns: 1fr; gap: 12px; }
  .rounding-post .d-title { padding-top: 24px; }
  .rounding-post .pr .rdx, .rounding-post .pr .rdl { grid-template-columns: minmax(0,1fr); gap: 6px; }
  .rounding-post .pr .rdc { grid-column: 1; }
  .rounding-post .pr .rdv { font-size: 17px; }
  .rounding-post .at .rl { width: 110px; }
  .rounding-post .figure-toolbar { gap: 10px; }
  .rounding-post .figure-toolbar label { max-width: 100%; }
}
@media print {
  .rounding-post .figure-toolbar, .rounding-post .inspector { display: none; }
}

.rounding-post .sweep-video video { width: 100%; height: auto; display: block; border: 1px solid #e5e7ea; }
body.blog-page.rounding-post .fix-table {
  display: table; width: 100%; table-layout: fixed; border-collapse: collapse;
  font-size: 14px; line-height: 1.6;
}
.rounding-post .fix-table caption {
  padding-bottom: 12px; text-align: left; color: var(--site-ink); font-size: 16px; font-weight: 500;
}
.rounding-post .fix-operation { width: 22%; }
.rounding-post .fix-change { width: 52%; }
.rounding-post .fix-status { width: 26%; }
body.blog-page.rounding-post .fix-table :is(th,td) {
  padding: 12px 10px; text-align: left; vertical-align: top;
  border: 0; border-bottom: 1px solid var(--site-line);
  background: transparent !important; color: var(--site-ink) !important;
  white-space: normal; overflow-wrap: break-word;
}
.rounding-post .fix-table th { font-weight: 500; }
.rounding-post .fix-table td:last-child { color: var(--site-muted) !important; }
.rounding-post .fix-table td::before { display: none; }
.rounding-post .fix-table code { background: none; padding: 0; }
.rounding-post .formula-version { display: grid; grid-template-columns: 44px minmax(0,1fr); gap: 8px; align-items: start; margin-bottom: 12px; }
.rounding-post .formula-version:last-child { margin-bottom: 0; }
.rounding-post .formula-label { color: var(--site-muted); font-size: 12px; }
.rounding-post .formula-math { display: block; max-width: 100%; overflow-x: auto; overflow-y: hidden; padding: 3px 0; }
.rounding-post .formula-note { display: block; margin-top: 5px; color: var(--site-muted); font-size: 12px; line-height: 1.5; }
.rounding-post .formula-note .katex { white-space: normal; }
.rounding-post .section-anchor { height: 0; }
@media (max-width: 700px) {
  body.blog-page.rounding-post .fix-table,
  .rounding-post .fix-table :is(caption,tbody,tr,th,td) { display: block; }
  .rounding-post .fix-table :is(thead,colgroup) { display: none; }
  .rounding-post .fix-table tr { padding: 15px 0; border-bottom: 1px solid var(--site-line); }
  body.blog-page.rounding-post .fix-table :is(th,td) { padding: 4px 0; border: 0; }
  .rounding-post .fix-table tbody th { margin-bottom: 6px; font-size: 15px; }
  body.blog-page.rounding-post .fix-table td { display: grid; grid-template-columns: 115px minmax(0,1fr); gap: 12px; }
  .rounding-post .fix-table td::before { display: block; content: attr(data-label); color: var(--site-muted); font-size: 13px; }
  body.blog-page.rounding-post .fix-table .formula-cell { display: block; padding-bottom: 12px; }
  .rounding-post .fix-table .formula-cell::before { display: none; }
}
@media (max-width: 480px) {
  .rounding-post .formula-version { grid-template-columns: 1fr; gap: 3px; }
}
@media (max-width: 360px) {
  body.blog-page.rounding-post .fix-table td { grid-template-columns: 1fr; gap: 1px; margin-bottom: 6px; }
}
.rounding-post .format-comparison { max-width: 100%; overflow-x: auto; }
body.blog-page.rounding-post .format-table {
  display: table; width: 100%; min-width: 690px; table-layout: auto;
  border-collapse: collapse; font-size: 13px; line-height: 1.5;
}
.rounding-post .format-table caption { text-align: left; padding-bottom: 12px; font-size: 16px; color: var(--site-ink); }
body.blog-page.rounding-post .format-table :is(th,td) {
  padding: 12px 10px; text-align: left; vertical-align: top;
  border: 0; border-bottom: 1px solid var(--site-line);
  background: transparent !important; color: var(--site-ink) !important;
}
.rounding-post .format-table th { font-weight: 500; }
.rounding-post .format-table td { font-variant-numeric: tabular-nums; white-space: nowrap; }