/* Practical examples and inference concepts share a restrained page hierarchy. */
.models-page .page-navigation {
  background: var(--nav-background); border-left: 3px solid #94b4cc;
  padding: 0.75rem 1rem; margin: 1.5rem 0;
}
.models-page .center .contents-label { margin: 0 0 0.35rem; font-weight: 600; }
.models-page .center .page-contents,
.models-page .center .page-contents ul { margin: 0; padding: 0; list-style: none; }
.models-page .center .page-contents li { margin: 0; }
.models-page .center .example-contents {
  display: flex; flex-wrap: wrap; gap: 0.25rem 0.75rem; margin-top: 0.35rem;
}
.models-page .example-contents > span { font-weight: 600; }
.models-page .page-contents ul { display: flex; flex-wrap: wrap; gap: 0.25rem 1.25rem; }
.models-page .page-navigation a { text-decoration: underline; text-underline-offset: 0.15em; }
.models-page .page-navigation a:focus-visible {
  outline: 2px solid var(--link-color); outline-offset: 3px;
}
.models-page .program-example { border-top: 1px solid var(--listing-border); margin-top: 2rem; }
.models-page .center .program-example h3 { margin-top: 1.25rem; }
.models-page .syntax-note {
  background: var(--nav-background); border-left: 3px solid #94b4cc; padding: 1rem 1.25rem;
  font-size: 1rem; margin: 1.5rem 0;
}
.models-page .center .syntax-note h3 { margin-top: 0; }
.models-page .center .syntax-note ul { margin-bottom: 0; }
.models-page .complete-program { margin: 1rem 0; }
.models-page .complete-program summary {
  cursor: pointer; color: var(--link-color); padding: 0.4rem 0; font-weight: 600;
}
.models-page .complete-program summary:focus-visible {
  outline: 2px solid var(--link-color); outline-offset: 3px;
}
.models-page .center .complete-program pre { margin-top: 0.5rem; }
/* Use darker syntax colors on the pale code surface; no meaning relies on color alone. */
.models-page .hljs-string, .models-page .hljs-symbol,
.models-page .hljs-bullet, .models-page .hljs-regexp { color: #805800; }
.models-page .hljs-number, .models-page .hljs-addition { color: #176b3b; }
.models-page .hljs-built_in, .models-page .hljs-builtin-name,
.models-page .hljs-literal, .models-page .hljs-type,
.models-page .hljs-template-variable, .models-page .hljs-attribute,
.models-page .hljs-link { color: #205f91; }
.models-page .hljs-comment, .models-page .hljs-quote, .models-page .hljs-meta { color: #765039; }
.models-page .trace-example { margin: 1.5rem 0; text-align: center; }
.models-page .trace-example img { width: 32rem; }
.models-page figcaption, .models-page caption { font-size: 1rem; color: #505860; }
.models-page figcaption { margin-top: 0.5rem; }
.models-page .trace-scroll { overflow-x: auto; margin: 1rem 0; }
.models-page .trace-table caption { padding-bottom: 0.5rem; }
.models-page .trace-table th, .models-page .trace-table td { padding: 0.35rem 0.8rem; }
.models-page .probability-equation { padding: 0.6rem 1rem; background: var(--nav-background); }
@media print {
  .models-page .sidebar, .models-page .skip-link, .models-page .page-navigation { display: none; }
  .models-page .site-layout { display: block; }
  .models-page .center { padding: 0; }
  .models-page { font-size: 10pt; }
  .models-page .center pre { white-space: pre-wrap; overflow-wrap: anywhere; overflow: visible; }
  .models-page .trace-scroll { overflow: visible; }
  .models-page .complete-program summary { color: inherit; }
  .models-page h2, .models-page h3, .models-page summary { break-after: avoid; }
  .models-page .trace-example, .models-page .trace-table { break-inside: avoid; }
}