:root {
  color-scheme: light;
  --m-bg: #f5f3ed;
  --m-paper: #fffefa;
  --m-paper2: #efede5;
  --m-ink: #192326;
  --m-muted: #647074;
  --m-line: #d9d6cc;
  --m-shadow: 0 16px 48px rgba(29, 37, 39, 0.09);
  --m-sans: "Inter", "Avenir Next", sans-serif;
  --m-serif: "DM Serif Display", "Iowan Old Style", Georgia, serif;
  --m-mono: "JetBrains Mono", "SFMono-Regular", monospace;
}

html[data-theme="dark"] {
  color-scheme: dark;
  --m-bg: #101718;
  --m-paper: #192223;
  --m-paper2: #222d2e;
  --m-ink: #f2efe7;
  --m-muted: #a9b4b2;
  --m-line: #344143;
  --m-shadow: 0 18px 54px rgba(0, 0, 0, 0.28);
}

.cs285-content {
  --topic: #245f8e;
  --topic-rgb: 36, 95, 142;
  --topic2: #cf7942;
  --soft: rgba(var(--topic-rgb), 0.11);
  --max: 1500px;
  --gutter: clamp(14px, 3.6vw, 68px);
  margin: 0 !important;
  padding: 0 !important;
  width: 100% !important;
  max-width: 100vw !important;
  min-height: 100vh;
  overflow-x: hidden !important;
  background:
    radial-gradient(circle at 0 0, var(--soft), transparent 46vw), var(--m-bg) !important;
  color: var(--m-ink) !important;
  font-family: var(--m-sans) !important;
}

.cs285-topic-logic {
  --topic: #5c4cac;
  --topic-rgb: 92, 76, 172;
  --topic2: #cf8d2d;
}

.cs285-topic-structures {
  --topic: #137d83;
  --topic-rgb: 19, 125, 131;
  --topic2: #6375b8;
}

.cs285-topic-crypto {
  --topic: #9a5629;
  --topic-rgb: 154, 86, 41;
  --topic2: #397876;
}

.cs285-topic-induction {
  --topic: #267a58;
  --topic-rgb: 38, 122, 88;
  --topic2: #c28b2c;
}

.cs285-topic-counting {
  --topic: #34723f;
  --topic-rgb: 52, 114, 63;
  --topic2: #b57927;
}

.cs285-topic-advanced-counting {
  --topic: #8c4b9c;
  --topic-rgb: 140, 75, 156;
  --topic2: #35758c;
}

.cs285-topic-relations {
  --topic: #316ca0;
  --topic-rgb: 49, 108, 160;
  --topic2: #a74f58;
}

.cs285-topic-reference {
  --topic: #334b5b;
  --topic-rgb: 51, 75, 91;
  --topic2: #b66b3d;
}

html[data-theme="dark"] .cs285-content {
  --soft: rgba(var(--topic-rgb), 0.2);
}

.cs285-content * {
  box-sizing: border-box;
}

.cs285-content h1,
.cs285-content h2,
.cs285-content h3,
.cs285-content h4 {
  color: var(--m-ink) !important;
  text-shadow: none !important;
}

.cs285-content p,
.cs285-content li,
.cs285-content td {
  color: var(--m-muted);
}

.cs285-content a {
  color: var(--topic) !important;
}

.cs285-content code,
.cs285-content .formula {
  font-family: var(--m-mono) !important;
}

.cs285-bar {
  position: sticky !important;
  top: 0 !important;
  z-index: 9999;
  height: 56px !important;
  min-height: 56px !important;
  padding: 6px var(--gutter) !important;
  display: flex !important;
  align-items: center !important;
  gap: 18px;
  background: color-mix(in srgb, var(--m-paper) 91%, transparent) !important;
  border: 0 !important;
  border-bottom: 1px solid color-mix(in srgb, var(--topic) 24%, var(--m-line)) !important;
  backdrop-filter: blur(16px);
  box-shadow: none !important;
}

.cs285-brand {
  display: flex;
  align-items: center;
  gap: 10px;
  color: var(--m-ink) !important;
  text-decoration: none;
  font-size: 13px;
  font-weight: 800;
  line-height: 1.05;
}

.cs285-brand small {
  display: block;
  margin-bottom: 3px;
  color: var(--topic);
  font: 700 8px/1 var(--m-mono);
  letter-spacing: 0.11em;
  text-transform: uppercase;
}

.cs285-mark {
  width: 34px;
  height: 34px;
  display: grid;
  place-items: center;
  border-radius: 10px;
  color: #fff;
  background: linear-gradient(145deg, var(--topic), var(--topic2));
  font: 800 13px/1 var(--m-mono);
}

.cs285-bar nav {
  margin-left: auto;
  display: flex;
  gap: 4px;
}

.cs285-bar nav a {
  padding: 8px 10px;
  border-radius: 9px;
  color: var(--m-muted) !important;
  text-decoration: none;
  font-size: 11px;
  font-weight: 700;
}

.cs285-bar nav a:hover {
  color: var(--topic) !important;
  background: var(--soft);
}

#cs285-theme {
  width: 36px;
  height: 36px;
  display: grid;
  place-items: center;
  flex: 0 0 auto;
  border: 1px solid var(--m-line);
  border-radius: 11px;
  color: var(--m-ink);
  background: var(--m-paper);
  cursor: pointer;
}

#cs285-theme svg {
  width: 17px;
  height: 17px;
  fill: none;
  stroke: currentColor;
  stroke-width: 1.8;
}

.cs285-bar .sg-page-search {
  flex: 0 1 280px !important;
  width: min(280px, 22vw) !important;
  min-width: 0 !important;
}

.cs285-content .sg-theme-toggle,
.cs285-content .theme-toggle,
.cs285-content #themeToggle,
.cs285-content #themeBtn,
.cs285-content [onclick="toggleTheme()"] {
  display: none !important;
}

.cs285-content .container {
  width: min(calc(100% - 2 * var(--gutter)), var(--max)) !important;
  max-width: var(--max) !important;
  margin: 0 auto !important;
  padding: clamp(28px, 4vw, 62px) 0 90px !important;
}

.cs285-content .content {
  width: 100% !important;
  max-width: none !important;
  margin: 0 !important;
}

.cs285-breakdown header:not(.cs285-bar),
.cs285-breakdown .header {
  min-height: clamp(210px, 27vw, 360px) !important;
  display: grid !important;
  align-content: center !important;
  padding: clamp(30px, 6vw, 88px) !important;
  border: 1px solid var(--m-line) !important;
  border-radius: clamp(20px, 3vw, 38px) !important;
  background: linear-gradient(
    135deg,
    var(--soft),
    var(--m-paper) 62%
  ) !important;
  box-shadow: var(--m-shadow) !important;
}

.cs285-breakdown h1 {
  max-width: 1100px;
  font: 700 clamp(2.4rem, 5.2vw, 6rem)/0.98 var(--m-serif) !important;
  letter-spacing: -0.035em !important;
}

.cs285-breakdown .subtitle {
  font-size: clamp(1rem, 1.5vw, 1.25rem) !important;
}

.cs285-breakdown .toc {
  margin: 22px 0 !important;
  padding: 18px clamp(18px, 3vw, 34px) !important;
  border: 1px solid var(--m-line) !important;
  border-radius: 18px !important;
  background: var(--m-paper) !important;
  box-shadow: none !important;
}

.cs285-breakdown .section,
.cs285-breakdown section {
  margin: clamp(16px, 2.5vw, 32px) 0 !important;
  padding: clamp(24px, 4vw, 54px) !important;
  border: 1px solid var(--m-line) !important;
  border-radius: 24px !important;
  background: var(--m-paper) !important;
  box-shadow: var(--m-shadow) !important;
}

.cs285-breakdown .section h2,
.cs285-breakdown section h2 {
  font-size: clamp(1.5rem, 2.6vw, 2.5rem) !important;
}

.cs285-breakdown .grid,
.cs285-breakdown .grid-2,
.cs285-breakdown .laws-grid {
  grid-template-columns: repeat(
    auto-fit,
    minmax(min(100%, 280px), 1fr)
  ) !important;
  gap: 16px !important;
}

.cs285-content .card,
.cs285-content .law-card,
.cs285-content .set-card,
.cs285-content .property-box {
  height: 100%;
  padding: clamp(18px, 2.5vw, 30px) !important;
  border: 1px solid var(--m-line) !important;
  border-top: 4px solid var(--topic) !important;
  border-radius: 17px !important;
  background: var(--m-paper2) !important;
  box-shadow: none !important;
}

.cs285-content .definition,
.cs285-content .definition-box,
.cs285-content .theorem-box,
.cs285-content .key-concept,
.cs285-content div.highlight,
.cs285-content .highlight-box,
.cs285-content div.important,
.cs285-content .note,
.cs285-content .warning,
.cs285-content .example,
.cs285-content .example-box,
.cs285-content .formula-box {
  padding: clamp(16px, 2.5vw, 27px) !important;
  border: 1px solid color-mix(in srgb, var(--topic) 32%, var(--m-line)) !important;
  border-left: 4px solid var(--topic) !important;
  border-radius: 0 16px 16px 0 !important;
  background: var(--soft) !important;
  color: var(--m-muted) !important;
  box-shadow: none !important;
}

.cs285-content span.highlight,
.cs285-content strong.highlight {
  display: inline !important;
  position: static !important;
  margin: 0 0.08em !important;
  padding: 0.08em 0.38em !important;
  border: 0 !important;
  border-radius: 0.38em !important;
  color: var(--topic) !important;
  background: var(--soft) !important;
  box-shadow: none !important;
  font: inherit !important;
  font-weight: 800 !important;
  white-space: normal !important;
}

.cs285-content .formula {
  overflow-x: auto;
  color: var(--m-ink) !important;
  background: var(--m-paper2) !important;
}

.cs285-content table {
  width: 100% !important;
  border-collapse: separate !important;
  border-spacing: 0 !important;
  overflow: hidden;
  border: 1px solid var(--m-line) !important;
  border-radius: 16px !important;
  background: var(--m-paper) !important;
}

.cs285-content th {
  color: var(--m-ink) !important;
  background: var(--soft) !important;
}

.cs285-content th,
.cs285-content td {
  padding: 12px 14px !important;
  border-color: var(--m-line) !important;
}

.cs285-reference {
  --max: 1700px;
}

.cs285-reference .container {
  padding-top: clamp(20px, 3vw, 42px) !important;
}

.cs285-reference header:not(.cs285-bar),
.cs285-reference .header {
  padding: clamp(25px, 4vw, 52px) !important;
  border-radius: 24px !important;
  background: linear-gradient(
    135deg,
    var(--topic),
    color-mix(in srgb, var(--topic2) 70%, #172126)
  ) !important;
}

.cs285-reference header:not(.cs285-bar) *,
.cs285-reference .header * {
  color: #fff !important;
}

.cs285-reference .grid {
  grid-template-columns: repeat(
    auto-fit,
    minmax(min(100%, 300px), 1fr)
  ) !important;
  gap: 14px !important;
}

.cs285-reference .section {
  padding: clamp(20px, 3vw, 38px) !important;
  border: 1px solid var(--m-line) !important;
  border-radius: 20px !important;
  background: var(--m-paper) !important;
}

.cs285-reference .card {
  break-inside: avoid;
}

@keyframes cs285-in {
  from {
    opacity: 0;
    transform: translateY(10px);
  }

  to {
    opacity: 1;
    transform: none;
  }
}

.cs285-ready .container > * {
  animation: cs285-in 0.5s cubic-bezier(0.2, 0.7, 0.2, 1) both;
}

.cs285-ready .container > *:nth-child(2) {
  animation-delay: 0.05s;
}

.cs285-ready .container > *:nth-child(3) {
  animation-delay: 0.1s;
}

@media (min-width: 1500px) {
  .cs285-breakdown .content > .section:has(.grid),
  .cs285-breakdown .content > section:has(.grid) {
    padding-inline: 64px !important;
  }

  .cs285-reference .grid {
    grid-template-columns: repeat(4, minmax(0, 1fr)) !important;
  }
}

@media (max-width: 900px) {
  .cs285-content {
    --gutter: clamp(12px, 3vw, 24px);
  }

  .cs285-bar nav a:first-child {
    display: none;
  }

  .cs285-breakdown header:not(.cs285-bar),
  .cs285-breakdown .header {
    min-height: 210px !important;
    padding: 34px !important;
  }
}

@media (max-width: 600px) {
  .cs285-content * {
    min-width: 0;
  }

  .cs285-content .container,
  .cs285-content .content,
  .cs285-content main,
  .cs285-content article,
  .cs285-content section,
  .cs285-content header:not(.cs285-bar),
  .cs285-content .header,
  .cs285-content .toc {
    width: auto !important;
    max-width: 100% !important;
  }

  .cs285-content h1,
  .cs285-content h2,
  .cs285-content h3,
  .cs285-content p,
  .cs285-content li {
    overflow-wrap: anywhere;
  }

  .cs285-content .toc li,
  .cs285-content .toc a {
    font-size: 14px !important;
    line-height: 1.45 !important;
  }

  .cs285-bar {
    height: 52px !important;
    min-height: 52px !important;
    padding: 5px 10px !important;
  }

  .cs285-brand {
    max-width: calc(100vw - 70px);
  }

  .cs285-brand > span:last-child {
    display: block;
    overflow: hidden;
    white-space: nowrap;
    text-overflow: ellipsis;
  }

  .cs285-bar nav {
    display: none !important;
  }

  .cs285-bar .sg-page-search {
    display: none !important;
  }

  #cs285-theme {
    margin-left: auto;
  }

  .cs285-breakdown header:not(.cs285-bar),
  .cs285-breakdown .header {
    min-height: 170px !important;
    padding: 20px !important;
    border-radius: 20px !important;
  }

  .cs285-breakdown h1 {
    font-size: clamp(1.75rem, 8.5vw, 2.7rem) !important;
    line-height: 1.02 !important;
  }

  .cs285-breakdown .section,
  .cs285-breakdown section,
  .cs285-reference .section {
    padding: 20px !important;
    border-radius: 18px !important;
  }

  .cs285-content table {
    display: block;
    overflow-x: auto;
  }

  .cs285-content .grid,
  .cs285-content .grid-2,
  .cs285-content .laws-grid {
    grid-template-columns: minmax(0, 1fr) !important;
  }
}

@media (prefers-reduced-motion: reduce) {
  * {
    animation-duration: 0.01ms !important;
    transition-duration: 0.01ms !important;
  }
}

/* Complete CS285 shell — replaces the inherited purple terminal UI. */
.cs285-shell {
  --max: 1600px;
  background: var(--m-bg) !important;
}

.cs285-shell .shoug-site-header,
.cs285-shell .global-header,
.cs285-shell .site-header {
  display: none !important;
}

.cs285-shell .shoug-site-footer {
  background: var(--m-paper) !important;
  border: 0 !important;
  border-top: 1px solid var(--m-line) !important;
  color: var(--m-muted) !important;
  box-shadow: none !important;
}

.cs285-shell .shoug-footer-brand,
.cs285-shell .shoug-footer-link,
.cs285-shell .shoug-footer-meta,
.cs285-shell .shoug-footer-text,
.cs285-shell .shoug-footer-label {
  color: var(--m-muted) !important;
}

.cs285-shell .shoug-footer-brand {
  color: var(--m-ink) !important;
}

.cs285-shell .app-layout,
.cs285-shell .layout-wrapper {
  display: flex !important;
  width: 100% !important;
  min-height: calc(100vh - 56px) !important;
  height: auto !important;
  overflow: visible !important;
  background: transparent !important;
}

.cs285-shell .sidebar,
.cs285-shell .academic-sidebar {
  position: sticky !important;
  top: 56px !important;
  z-index: 30 !important;
  width: 272px !important;
  min-width: 272px !important;
  flex: 0 0 272px !important;
  height: calc(100vh - 56px) !important;
  padding: 18px 12px !important;
  overflow: auto !important;
  background: color-mix(in srgb, var(--m-paper) 92%, transparent) !important;
  border: 0 !important;
  border-right: 1px solid var(--m-line) !important;
  box-shadow: none !important;
}

.cs285-shell .sidebar-header {
  height: auto !important;
  padding: 6px 9px 14px !important;
  border: 0 !important;
  background: transparent !important;
}

.cs285-shell .sidebar-title {
  color: var(--topic) !important;
  font: 750 9px/1 var(--m-mono) !important;
  letter-spacing: 0.13em !important;
}

.cs285-shell .sidebar-collapse-button {
  color: var(--m-muted) !important;
  background: var(--m-paper2) !important;
  border: 1px solid var(--m-line) !important;
  border-radius: 8px !important;
}

.cs285-shell .file-tree,
.cs285-shell .tree-node,
.cs285-shell .tree-children {
  background: transparent !important;
  border: 0 !important;
}

.cs285-shell .tree-item {
  margin: 2px 0 !important;
}

.cs285-shell .tree-file,
.cs285-shell .tree-course-link {
  min-height: 31px !important;
  padding: 7px 9px !important;
  border: 0 !important;
  border-radius: 8px !important;
  color: var(--m-muted) !important;
  background: transparent !important;
  font: 560 11px/1.35 var(--m-sans) !important;
  letter-spacing: 0 !important;
  text-transform: none !important;
}

.cs285-shell .tree-file:hover,
.cs285-shell .tree-course-link:hover {
  color: var(--m-ink) !important;
  background: var(--m-paper2) !important;
}

.cs285-shell .file-active > .tree-file,
.cs285-shell .tree-file.active {
  color: var(--topic) !important;
  background: var(--soft) !important;
  font-weight: 750 !important;
}

.cs285-shell .tree-toggle {
  color: var(--topic) !important;
  background: none !important;
}

.cs285-shell .status-dot {
  background: var(--topic) !important;
  box-shadow: none !important;
}

.cs285-shell .tree-children {
  margin-left: 8px !important;
  padding-left: 8px !important;
  border-left: 1px solid var(--m-line) !important;
}

.cs285-shell .main-wrapper,
.cs285-shell .sys-main,
.cs285-shell .content-area {
  width: auto !important;
  min-width: 0 !important;
  max-width: none !important;
  flex: 1 !important;
  height: auto !important;
  min-height: calc(100vh - 56px) !important;
  overflow: visible !important;
  background: transparent !important;
  color: var(--m-ink) !important;
}

.cs285-shell .top-bar,
.cs285-shell .content-topbar {
  position: sticky !important;
  top: 56px !important;
  z-index: 20 !important;
  min-height: 46px !important;
  height: auto !important;
  padding: 9px clamp(18px, 3vw, 48px) !important;
  background: color-mix(in srgb, var(--m-bg) 90%, transparent) !important;
  border: 0 !important;
  border-bottom: 1px solid var(--m-line) !important;
  backdrop-filter: blur(14px);
}

.cs285-shell .breadcrumb,
.cs285-shell .breadcrumb a,
.cs285-shell .breadcrumb-link,
.cs285-shell .current,
.cs285-shell .sys-time {
  color: var(--m-muted) !important;
  font: 600 10px/1.5 var(--m-mono) !important;
  text-transform: none !important;
}

.cs285-shell .separator,
.cs285-shell .meta-sep {
  color: var(--topic) !important;
}

.cs285-shell .page-container,
.cs285-shell .directory-container {
  width: min(100%, 1600px) !important;
  max-width: 1600px !important;
  margin: 0 auto !important;
  padding: clamp(34px, 5vw, 74px) clamp(20px, 4vw, 68px) 90px !important;
  overflow: visible !important;
  background: transparent !important;
}

.cs285-shell .content-scroll-area {
  height: auto !important;
  overflow: visible !important;
  background: transparent !important;
}

.cs285-shell .content-header,
.cs285-shell .course-header,
.cs285-shell .page-header {
  padding: clamp(28px, 5vw, 68px) !important;
  border: 1px solid var(--m-line) !important;
  border-radius: clamp(20px, 3vw, 34px) !important;
  background: linear-gradient(
    135deg,
    var(--soft),
    var(--m-paper) 64%
  ) !important;
  color: var(--m-ink) !important;
  box-shadow: var(--m-shadow) !important;
}

.cs285-shell .course-code {
  font: 800 clamp(4.2rem, 9vw, 8rem)/0.85 var(--m-serif) !important;
  letter-spacing: -0.05em !important;
  color: var(--m-ink) !important;
}

.cs285-shell .course-code::after {
  content: ".";
  color: var(--topic);
}

.cs285-shell .course-name,
.cs285-shell .content-header h1,
.cs285-shell .page-header .ch-title {
  font: 700 clamp(1.8rem, 3.5vw, 3.7rem)/1.04 var(--m-serif) !important;
  letter-spacing: -0.035em !important;
  color: var(--m-ink) !important;
  text-transform: none !important;
}

.cs285-shell .course-desc-brief {
  max-width: 850px !important;
  margin-top: 15px !important;
  color: var(--m-muted) !important;
  font-size: clamp(1rem, 1.4vw, 1.18rem) !important;
  line-height: 1.75 !important;
}

.cs285-shell .sub-nav,
.cs285-shell .content-tabs,
.cs285-shell .nav-strip {
  display: flex !important;
  gap: 5px !important;
  margin: 18px 0 !important;
  padding: 5px !important;
  border: 1px solid var(--m-line) !important;
  border-radius: 13px !important;
  background: var(--m-paper2) !important;
}

.cs285-shell .sub-nav-item,
.cs285-shell .tab,
.cs285-shell .nav-link {
  padding: 9px 12px !important;
  border: 0 !important;
  border-radius: 8px !important;
  color: var(--m-muted) !important;
  background: transparent !important;
  font: 650 11px/1.3 var(--m-sans) !important;
  letter-spacing: 0 !important;
  text-transform: none !important;
}

.cs285-shell .sub-nav-item:hover,
.cs285-shell .sub-nav-item.active,
.cs285-shell .tab:hover,
.cs285-shell .tab.active,
.cs285-shell .nav-link:hover {
  color: #fff !important;
  background: var(--topic) !important;
}

.cs285-shell .grid-data-blocks {
  display: grid !important;
  grid-template-columns: repeat(3, minmax(0, 1fr)) !important;
  gap: 12px !important;
}

.cs285-shell .data-block,
.cs285-shell .meta-panel,
.cs285-shell .topic-item,
.cs285-shell .dir-row {
  border: 1px solid var(--m-line) !important;
  border-radius: 17px !important;
  background: var(--m-paper) !important;
  color: var(--m-ink) !important;
  box-shadow: none !important;
}

.cs285-shell .data-block {
  padding: 19px !important;
}

.cs285-shell .data-block-label,
.cs285-shell .meta-key,
.cs285-shell .section-label {
  color: var(--topic) !important;
  font: 750 9px/1.4 var(--m-mono) !important;
  letter-spacing: 0.1em !important;
  text-transform: uppercase !important;
}

.cs285-shell .data-block-val,
.cs285-shell .meta-val {
  color: var(--m-ink) !important;
}

.cs285-shell .section-label {
  margin: 44px 0 16px !important;
  border: 0 !important;
}

.cs285-shell .topic-item,
.cs285-shell .dir-row {
  min-height: 70px !important;
  margin: 9px 0 !important;
  padding: 15px 18px !important;
}

.cs285-shell .topic-item:hover,
.cs285-shell .dir-row:hover {
  transform: translateY(-2px);
  border-color: var(--topic) !important;
  box-shadow: var(--m-shadow) !important;
}

.cs285-shell .topic-num,
.cs285-shell .dir-num,
.cs285-shell .dir-arrow {
  color: var(--topic) !important;
}

.cs285-shell .topic-name,
.cs285-shell .dir-title {
  color: var(--m-ink) !important;
  font-weight: 700 !important;
}

.cs285-shell .topic-meta,
.cs285-shell .type-label {
  color: var(--m-muted) !important;
}

.cs285-shell .meta-panel-container {
  width: min(100%, 320px) !important;
}

.cs285-shell .meta-panel {
  overflow: hidden !important;
  box-shadow: var(--m-shadow) !important;
}

.cs285-shell .meta-header,
.cs285-shell .meta-footer {
  background: var(--m-paper2) !important;
  border-color: var(--m-line) !important;
}

.cs285-shell .quick-link-btn,
.cs285-shell .btn {
  border: 1px solid var(--m-line) !important;
  border-radius: 10px !important;
  color: var(--m-ink) !important;
  background: var(--m-paper2) !important;
  box-shadow: none !important;
  text-transform: none !important;
}

.cs285-shell .quick-link-btn:hover,
.cs285-shell .btn:hover {
  border-color: var(--topic) !important;
  color: var(--topic) !important;
  transform: translateY(-2px);
}

.cs285-shell .btn-primary {
  color: #fff !important;
  border-color: var(--topic) !important;
  background: var(--topic) !important;
}

.cs285-shell .embed-area-wrapper {
  padding: 0 clamp(16px, 3vw, 48px) clamp(32px, 5vw, 70px) !important;
  background: transparent !important;
  border: 0 !important;
}

.cs285-shell .embed-container {
  width: 100% !important;
  height: calc(100vh - 205px) !important;
  min-height: 620px !important;
  overflow: hidden !important;
  border: 1px solid var(--m-line) !important;
  border-radius: 22px !important;
  background: var(--m-paper) !important;
  box-shadow: var(--m-shadow) !important;
}

.cs285-shell .embed-frame,
.cs285-shell .legacy-html-frame,
.cs285-shell .pdf-embed,
.cs285-shell iframe {
  width: 100% !important;
  height: 100% !important;
  border: 0 !important;
  background: var(--m-paper) !important;
}

.cs285-shell .page-header {
  margin: 18px clamp(16px, 3vw, 48px) !important;
  padding: 22px clamp(20px, 3vw, 42px) !important;
  border-radius: 20px !important;
  box-shadow: none !important;
}

.cs285-shell .page-header .ch-title {
  font-size: clamp(1.4rem, 2.3vw, 2.4rem) !important;
}

.cs285-shell .page-header .ch-label {
  color: var(--topic) !important;
}

.cs285-shell .action-buttons {
  gap: 8px !important;
}

.cs285-shell .rendered-content {
  width: 100% !important;
  height: 100% !important;
  padding: 0 !important;
  background: var(--m-paper) !important;
}

.cs285-shell .slide-assistant-launch {
  border: 1px solid var(--m-line) !important;
  border-radius: 11px !important;
  color: var(--m-ink) !important;
  background: var(--m-paper) !important;
  box-shadow: var(--m-shadow) !important;
}

.cs285-embedded {
  min-height: 100vh !important;
}

.cs285-embedded .container {
  width: min(calc(100% - 28px), var(--max)) !important;
  padding-top: 24px !important;
}

@media (max-width: 900px) {
  .cs285-shell .sidebar,
  .cs285-shell .academic-sidebar {
    display: none !important;
  }

  .cs285-shell .page-container,
  .cs285-shell .directory-container {
    padding: 28px 16px 70px !important;
  }

  .cs285-shell .grid-data-blocks {
    grid-template-columns: 1fr !important;
  }

  .cs285-shell .meta-panel-container {
    width: 100% !important;
    max-width: none !important;
  }

  .cs285-shell .embed-container {
    height: calc(100vh - 190px) !important;
    min-height: 520px !important;
  }
}

@media (max-width: 600px) {
  .cs285-shell,
  .cs285-shell .app-layout,
  .cs285-shell .layout-wrapper,
  .cs285-shell .content-area,
  .cs285-shell .main-wrapper,
  .cs285-shell .sys-main {
    width: 100% !important;
    max-width: 100vw !important;
    min-width: 0 !important;
    overflow-x: hidden !important;
  }

  .cs285-shell .top-bar,
  .cs285-shell .content-topbar {
    display: none !important;
  }

  .cs285-shell .content-header,
  .cs285-shell .course-header,
  .cs285-shell .page-header {
    padding: 20px !important;
    border-radius: 18px !important;
  }

  .cs285-shell .page-header .ch-title {
    font-size: clamp(1.55rem, 8vw, 2.25rem) !important;
    line-height: 1.05 !important;
    overflow-wrap: anywhere !important;
  }

  .cs285-shell .course-code {
    font-size: clamp(3.7rem, 22vw, 5.4rem) !important;
  }

  .cs285-shell .action-buttons {
    display: flex !important;
    flex-wrap: wrap !important;
  }

  .cs285-shell .action-buttons .btn {
    flex: 1 1 145px !important;
    padding: 10px 12px !important;
    white-space: normal !important;
  }

  .cs285-shell .sub-nav,
  .cs285-shell .content-tabs,
  .cs285-shell .nav-strip {
    width: calc(100% - 20px) !important;
    margin: 12px 10px !important;
    overflow-x: auto !important;
    flex-wrap: nowrap !important;
  }

  .cs285-shell .embed-area-wrapper {
    width: 100% !important;
    padding: 0 10px 24px !important;
  }

  .cs285-shell .embed-container {
    width: 100% !important;
    height: calc(100vh - 255px) !important;
    min-height: 500px !important;
    border-radius: 15px !important;
  }

  .cs285-shell .page-header {
    width: calc(100% - 20px) !important;
    margin: 12px 10px !important;
  }

  .cs285-shell .shoug-site-footer {
    display: none !important;
  }

  .cs285-embedded .container {
    width: calc(100% - 16px) !important;
    padding-top: 8px !important;
  }
}

@media (max-width: 600px) {
  .cs285-shell .page-header .ch-title,
  .cs285-shell .page-header h1,
  .cs285-embedded header h1,
  .cs285-embedded .header h1 {
    width: 100% !important;
    max-width: 100% !important;
    white-space: normal !important;
    word-break: break-word !important;
    overflow-wrap: anywhere !important;
  }

  .cs285-shell .action-buttons .btn {
    width: auto !important;
    max-width: 100% !important;
    min-width: 0 !important;
    font-size: 10px !important;
  }

  .cs285-embedded header:not(.cs285-bar),
  .cs285-embedded .header {
    width: 100% !important;
    max-width: 100% !important;
    padding: 18px 14px !important;
  }

  .cs285-embedded header h1,
  .cs285-embedded .header h1 {
    font-size: clamp(1.7rem, 7.6vw, 2.3rem) !important;
  }

  .cs285-embedded .sg-page-search {
    display: none !important;
  }
}

@media (max-width: 600px) {
  html:has(body.cs285-content) {
    width: 100% !important;
    max-width: 100vw !important;
    overflow-x: hidden !important;
  }

  .cs285-shell *,
  .cs285-embedded * {
    min-width: 0 !important;
    box-sizing: border-box !important;
  }

  .cs285-shell .page-header,
  .cs285-shell .action-buttons,
  .cs285-shell .embed-area-wrapper,
  .cs285-shell .embed-container,
  .cs285-embedded .container,
  .cs285-embedded header:not(.cs285-bar) {
    max-width: 100% !important;
    overflow-x: hidden !important;
  }

  .cs285-shell .page-header .ch-title {
    font-size: clamp(1.35rem, 6.8vw, 1.9rem) !important;
  }

  .cs285-embedded header h1,
  .cs285-embedded .header h1 {
    font-size: clamp(1.55rem, 6.8vw, 2rem) !important;
  }
}

/* Final component reset: no legacy yellow, purple, blue, green, or white panels. */
.cs285-content .section h2,
.cs285-content section h2 {
  color: var(--m-ink) !important;
  border-color: var(--topic) !important;
}

.cs285-content .section h3,
.cs285-content section h3,
.cs285-content .example h4,
.cs285-content .example-title,
.cs285-content .key-points h4,
.cs285-content .analogy h4,
.cs285-content .domino-visual h4 {
  color: var(--topic) !important;
}

.cs285-content .concept-box,
.cs285-content .step,
.cs285-content .proof-step,
.cs285-content .recursive-example,
.cs285-content .key-points,
.cs285-content .analogy,
.cs285-content .domino-visual,
.cs285-content .calculation,
.cs285-content .solution,
.cs285-content .inference-rule,
.cs285-content .visual-rep {
  position: relative !important;
  margin: 16px 0 !important;
  padding: clamp(17px, 2.4vw, 28px) !important;
  border: 1px solid var(--m-line) !important;
  border-radius: 16px !important;
  background: var(--m-paper2) !important;
  background-image: none !important;
  color: var(--m-muted) !important;
  box-shadow: none !important;
}

.cs285-content .analogy {
  border-left: 4px solid var(--topic2) !important;
  background: color-mix(in srgb, var(--topic2) 9%, var(--m-paper)) !important;
}

.cs285-content .domino-visual {
  border-color: color-mix(in srgb, var(--topic) 30%, var(--m-line)) !important;
  background: linear-gradient(
    135deg,
    var(--soft),
    color-mix(in srgb, var(--topic2) 8%, var(--m-paper))
  ) !important;
  text-align: left !important;
}

.cs285-content .step,
.cs285-content .proof-step {
  border-left: 4px solid var(--topic) !important;
}

.cs285-content .step-label {
  color: var(--topic) !important;
}

.cs285-content .proof-step {
  padding-left: 58px !important;
}

.cs285-content .proof-step::before {
  left: 18px !important;
  top: 20px !important;
  width: 27px !important;
  height: 27px !important;
  color: #fff !important;
  background: var(--topic) !important;
  box-shadow: none !important;
}

.cs285-content .key-points {
  border-left: 4px solid var(--topic2) !important;
}

.cs285-content .key-points li::before {
  color: var(--topic) !important;
}

.cs285-content .recursive-example {
  border-left: 4px solid var(--topic2) !important;
}

.cs285-content .calculation,
.cs285-content code {
  color: var(--m-ink) !important;
  background: color-mix(in srgb, var(--topic) 10%, var(--m-paper2)) !important;
}

.cs285-content .footer {
  margin-top: 34px !important;
  padding: 28px !important;
  color: var(--m-muted) !important;
  background: var(--m-paper2) !important;
  border-top: 1px solid var(--m-line) !important;
}

.cs285-content .footer * {
  color: var(--m-muted) !important;
}

.cs285-content tr:hover {
  background: var(--soft) !important;
}

.cs285-content .pascal-row span,
.cs285-content .symbol,
.cs285-content .notation {
  color: var(--topic) !important;
  border-color: var(--m-line) !important;
  background: var(--soft) !important;
}

.cs285-content span.important,
.cs285-content strong.important {
  display: inline !important;
  padding: 0.08em 0.38em !important;
  color: var(--topic) !important;
  background: var(--soft) !important;
  border: 0 !important;
  border-radius: 0.38em !important;
}