/* Styles local to the propositions section; shared navigation is unchanged. */
.ddd-document h3 { font-size:1.22rem; margin:2.2rem 0 .85rem; }
.ddd-document h4 { font:600 1.04rem/1.5 Georgia,"Times New Roman",serif; margin:0 0 .7rem; }
.ddd-document .ddd-contents { margin:1.5rem 0 2.2rem; padding:1rem 1.2rem; border:1px solid var(--line); }
.ddd-document .ddd-contents ol { margin:0; padding-left:1.35rem; }
.ddd-document .ddd-rules { margin:1rem 0 1.25rem; }
.ddd-document .ddd-rules li { margin:.6rem 0; }
.ddd-document .ddd-equation { margin:1.05rem 0; }
.ddd-document .ddd-equation .math-display { margin:0; padding:.45rem .2rem .6rem; }
.ddd-document .newtheorem { padding:.25rem 0 .25rem 1.15rem; }
.ddd-document .ddd-remark { color:var(--ink-dim); }
.ddd-document .ddd-detail { margin:1.5rem 0; padding:1rem 1.15rem; border:1px solid var(--line); border-radius:3px; }
.ddd-document .ddd-detail summary { color:var(--accent); cursor:pointer; font-weight:600; }
.ddd-document .ddd-detail[open] summary { margin-bottom:1rem; }
.ddd-document .ddd-detail > :last-child { margin-bottom:0; }
.ddd-document code { font-size:.82em; overflow-wrap:anywhere; }
.ddd-document table.ddd-proof-map { display:table; border-collapse:collapse; width:100%; min-width:36rem; font-size:.91rem; line-height:1.5; }
.ddd-document .ddd-proof-map th, .ddd-document .ddd-proof-map td { vertical-align:top; text-align:left; padding:.7rem .8rem; border-bottom:1px solid var(--line); }
.ddd-document .ddd-proof-map th:first-child { width:29%; }
.ddd-document .ddd-proof-map caption { text-align:left; margin-bottom:.6rem; color:var(--ink-dim); }
.ddd-document a:focus-visible, .ddd-document summary:focus-visible { outline:2px solid var(--accent); outline-offset:3px; }
@media (max-width:600px) {
  .ddd-document .math-inline { white-space:normal; }
  .ddd-document .newtheorem { padding-left:.75rem; }
  .ddd-document .ddd-detail { padding:.85rem; }
}
@media print {
  .ddd-document .ddd-detail { border-color:#777; }
  .ddd-document .newtheorem, .ddd-document h3, .ddd-document h4 { break-after:avoid; }
}