.academic-site .course-archive { margin: 16px; padding: 12px 0 16px; border-top: 1px solid #d7e0e6; }
.academic-site .course-archive > summary { color: #4e6174; font-size: 11px; cursor: pointer; }
.security-course .course-body { min-width: 0; }
.security-course .course-toc { max-height: calc(100vh - 32px); overflow-y: auto; scrollbar-width: thin; padding-right: 5px; }
.security-course .course-body p { max-width: 96ch; }
.security-course .course-body li { margin-bottom: 6px; }
.security-course .course-body h3 { margin-top: 24px; margin-bottom: 10px; }
.security-course .course-body h4 { font-size: 12px; margin: 18px 0 8px; }
.security-course .course-body section { scroll-margin-top: 16px; }
.security-course .course-body a { text-underline-offset: 3px; overflow-wrap: anywhere; }
.security-course .course-body math { font-family: "STIX Two Math", "Cambria Math", math; color: #173f78; font-size: 1.12em; vertical-align: baseline; }
.security-course .course-body math[display="block"] { margin: 0; }
.security-course .equation { max-width: 100%; overflow-x: auto; padding: 15px 5px; margin: 12px 0; font-size: 12px; }
.security-course .course-body blockquote { margin: 16px 0; padding: 9px 16px; border-left: 2px solid #af7780; background: #faf7f8; }
.security-course .course-body blockquote p { margin: 4px 0; }
.security-course .course-body details { padding: 10px 0; }
.security-course .course-body details > :last-child { margin-bottom: 12px; }
.security-course .course-body summary { font-size: 12px; line-height: 1.6; }
.security-course .course-body figure { margin: 22px 0; }
.security-course .course-body figure figcaption { font-size: 11px; line-height: 1.65; padding: 10px 0; color: #526274; }
.security-course .protocol { display: grid; grid-template-columns: minmax(0,1fr) minmax(90px,.6fr) minmax(0,1fr); gap: 10px 16px; padding: 16px 0; align-items: center; }
.security-course .protocol > * { min-width: 0; overflow-wrap: anywhere; font-size: 12px; line-height: 1.65; }
.security-course .protocol .party { font-weight: 600; color: #173f78; padding-bottom: 8px; border-bottom: 1px solid #d8e0e7; }
.security-course .protocol .message { text-align: center; }
.security-course .protocol .direction { display: block; position: relative; height: 10px; margin: 5px 0; border-top: 1px solid #7a8ca2; }
.security-course .protocol .direction::after { content: ""; position: absolute; right: 0; top: -4px; border: solid #7a8ca2; border-width: 1px 1px 0 0; width: 6px; height: 6px; transform: rotate(45deg); }
.security-course .protocol .direction.reverse::after { left: 0; right: auto; transform: rotate(-135deg); }
.security-course .model-inputs { display: flex; flex-wrap: wrap; align-items: end; gap: 12px; margin: 14px 0; }
.security-course .model-inputs label { display: grid; gap: 5px; font-size: 11px; }
.security-course .model-inputs input { width: 110px; }
.security-course .model-inputs input, .security-course .model-inputs select { height: 34px; border: 1px solid #b9c6d0; border-radius: 3px; background: #fff; padding: 5px 8px; font: inherit; color: #223b55; }
.security-course .model-inputs button { display: inline-flex; align-items: center; justify-content: center; gap: 6px; min-height: 34px; padding: 6px 12px; border: 0; border-radius: 4px; color: #244664; background: #eaf0f5; font: 11px Verdana, sans-serif; box-shadow: 0 1px 2px #2033490a; cursor: pointer; }
.security-course .model-inputs button:hover { background: #dce7f0; box-shadow: 0 1px 3px #20334916; }
.security-course .model-inputs button:disabled { opacity: .55; cursor: default; }
.security-course .model-inputs button svg { width: 14px; height: 14px; }
.security-course :focus-visible { outline: 2px solid #386c96; outline-offset: 3px; }
.security-course .course-model { border-block: 1px solid #d7e0e6; padding: 12px 0 18px; }
.security-course .course-model > figcaption { color: #243b53; font-size: 13px; padding: 0; }
.security-course .model-scope { font-size: 11px; color: #667281; margin: 8px 0 12px; }
.security-course .model-result { min-height: 150px; padding: 10px 14px; background: #f4f7fa; font-size: 12px; line-height: 1.7; }
.security-course .model-result p { margin: 5px 0; }
.security-course .model-result dl { display: grid; grid-template-columns: minmax(120px,.4fr) minmax(0,1fr); gap: 6px 12px; margin: 5px 0; font-size: 11px; }
.security-course .model-result dt { color: #4e6174; }
.security-course .model-result dd { margin: 0; font-variant-numeric: tabular-nums; }
.security-course .fork-track { display: grid; grid-template-columns: repeat(5,minmax(0,1fr)); list-style: none; padding: 0; margin: 14px 0; gap: 6px; }
.security-course .fork-track li { border-top: 3px solid #e0e5eb; padding: 9px 4px; font-size: 11px; margin: 0; }
.security-course .fork-track li.is-done { border-color: #a0b8ce; }
.security-course .fork-track li[aria-current="step"] { border-color: #2c608b; background: #edf3f8; color: #173f78; }
.security-course .audit-meter { height: 12px; margin: 14px 0; background: #eee6e8; }
.security-course .audit-meter span { display: block; height: 100%; background: #47789e; width: 0; }
.security-course .table-scroll { max-width: 100%; margin: 14px 0; }
.security-course table { width: 100%; }
.security-course .course-body { font-size: 12px; line-height: 1.8; }
.security-course .course-body > section { padding-bottom: 30px; }
.security-course .course-body h3 { color: #284965; font-size: 14px; line-height: 1.5; font-weight: 600; }
.security-course .course-body strong { font-weight: 600; }
.security-course .course-body p + ul, .security-course .course-body p + ol { margin-top: 10px; }
.security-course .course-body pre { padding: 16px; margin: 18px 0; border-left: 2px solid #9caebe; background: #f5f7f9; max-width: 100%; overflow-x: auto; font-size: 11px; line-height: 1.85; }
.security-course .course-body pre code { font-size: inherit; background: none; padding: 0; white-space: pre; }
.security-course .course-body details { border-bottom: 1px solid #e0e5e9; margin: 0; padding: 14px 0; }
.security-course .course-body summary { font-weight: 500; color: #284965; cursor: pointer; padding: 3px 0; }
.security-course .course-body details[open] > summary { margin-bottom: 12px; }
.security-course .course-body details > :not(summary) { margin-left: 18px; }
.security-course .table-scroll { overflow-x: auto; }
.security-course table th { text-align: left; font-weight: 600; background: #f2f5f7; }
.security-course table td, .security-course table th { vertical-align: top; padding: 10px 12px; line-height: 1.7; }
.security-course table td { border-bottom: 1px solid #e4e8ec; }
.security-course .course-body .math-fence-flat { font-size: .82em; }
.security-course .model-result dd { overflow-wrap: anywhere; }
.security-course [data-model="bounds"] .model-result { min-height: 205px; }
.security-course .course-toc a[aria-current="location"] { color: #174f73; background: #edf3f7; box-shadow: inset 2px 0 #4a7997; padding-left: 8px; }
.security-course .fork-branches { display: grid; grid-template-columns: repeat(2,minmax(0,1fr)); gap: 0 24px; max-width: 740px; margin: 0 auto; }
.security-course .fork-prefix { grid-column: 1 / -1; text-align: center; padding: 12px; border-bottom: 2px solid #8da5b6; color: #314a5d; }
.security-course .fork-branch { padding: 18px 12px; border-bottom: 1px solid #d9e2e8; border-top: 12px solid #edf3f7; }
.security-course .fork-branch:last-child { border-top-color: #f3eaed; }
.security-course .fork-branch p { font-size: 11px; }
.security-course .fork-branch strong { display: block; color: #284965; }
@media (max-width: 650px) {
  .security-course .fork-branches { gap: 0 12px; }
  .security-course .fork-branch { padding: 12px 5px; }
}
@media (prefers-reduced-motion: reduce) {
  .security-course { scroll-behavior: auto; }
}
@media (max-width: 650px) {
  .security-course .course-toc { max-height: none; overflow: visible; padding: 0; }
  .security-course .protocol { column-gap: 8px; grid-template-columns: minmax(0,1fr) 76px minmax(0,1fr); }
  .security-course .protocol > * { font-size: 11px; }
  .security-course .fork-track { grid-template-columns: repeat(3,minmax(0,1fr)); }
  .security-course .model-inputs { gap: 10px; }
  .security-course .model-inputs button { min-height: 40px; }
  .security-course .model-result { min-height: 180px; padding: 10px; }
  .security-course .model-result dl { grid-template-columns: 105px minmax(0,1fr); gap: 6px; }
}
@media print {
  .security-course .course-toc, .security-course .model-inputs { display: none; }
  .security-course .model-result { min-height: 0; }
  .security-course .equation { overflow: visible; }
  .security-course .course-body pre code { white-space: pre-wrap; }
}