/* Modern CSS Variables for consistent theming */
:root {
  --primary-color: #4682b4;
  --primary-hover: #315b7e;
  --secondary-color: #64748b;
  --accent-color: #add8e6;
  --text-primary: #1e293b;
  --text-secondary: #64748b;
  --text-light: #94a3b8;
  --background-primary: #ffffff;
  --background-secondary: #f8fafc;
  --background-accent: #f1f5f9;
  --border-color: #e2e8f0;
  --shadow-sm: 0 1px 2px 0 rgb(0 0 0 / 0.05);
  --shadow-md: 0 4px 6px -1px rgb(0 0 0 / 0.1), 0 2px 4px -2px rgb(0 0 0 / 0.1);
  --shadow-lg: 0 10px 15px -3px rgb(0 0 0 / 0.1), 0 4px 6px -4px rgb(0 0 0 / 0.1);
  --shadow-xl: 0 20px 25px -5px rgb(0 0 0 / 0.1), 0 8px 10px -6px rgb(0 0 0 / 0.1);
  --gradient-primary: linear-gradient(135deg, #4682b4 0%, #315b7e 100%);
  --gradient-accent: linear-gradient(135deg, #add8e6 0%, #4682b4 100%);
  --gradient-subtle: linear-gradient(135deg, #90ee90 0%, #228b22 100%);
  --border-radius: 12px;
  --border-radius-lg: 16px;
  --transition: all 0.3s cubic-bezier(0.4, 0, 0.2, 1);
}

/* Smooth scrolling for better UX */
html {
  scroll-behavior: smooth;
}

body {
  font-family: 'Inter', 'Segoe UI', -apple-system, BlinkMacSystemFont, sans-serif;
  color: var(--text-primary);
  line-height: 1.6;
  font-size: 14px;
  background-color: var(--background-primary);
  -webkit-font-smoothing: antialiased;
  -moz-osx-font-smoothing: grayscale;
}


/* Modern Button Styles */
.button {
  border-radius: var(--border-radius) !important;
  font-weight: 600 !important;
  transition: var(--transition) !important;
  border: 2px solid transparent !important;
  position: relative;
  overflow: hidden;
}

.button.is-dark {
  background: var(--text-primary) !important;
  border: none !important;
  color: white !important;
  box-shadow: var(--shadow-md);
}

.button.is-dark:hover {
  transform: translateY(-2px);
  box-shadow: var(--shadow-lg);
  background: var(--primary-color) !important;
}

.button.is-dark:active {
  transform: translateY(0);
  box-shadow: var(--shadow-md);
}

.footer .icon-link {
    font-size: 25px;
    color: var(--text-secondary);
    transition: var(--transition);
}

.footer .icon-link:hover {
    color: var(--primary-color);
    transform: translateY(-2px);
}

.link-block a {
    margin: 8px 4px;
}

.dnerf {
  font-variant: small-caps;
}


/* Hero Section Modernization */
.hero {
  position: relative;
  overflow: hidden;
}

.hero.is-light {
  background: var(--background-secondary);
  border-top: 1px solid var(--border-color);
  border-bottom: 1px solid var(--border-color);
}

.hero-body {
  padding: 4rem 1.5rem;
}

.teaser .hero-body {
  padding-top: 2rem;
  padding-bottom: 4rem;
}

.teaser {
  font-family: 'Inter', sans-serif;
}


/* Publication Content Styling */
.publication-title {
    font-family: 'Inter', sans-serif !important;
    font-weight: 800 !important;
    color: var(--text-primary) !important;
    margin-bottom: 2rem !important;
    line-height: 1.1 !important;
}

.publication-banner {
  max-height: 70vh;
  border-radius: var(--border-radius-lg);
  overflow: hidden;
  box-shadow: var(--shadow-xl);
  margin: 2rem 0;
}

.publication-banner video {
  position: relative;
  left: auto;
  top: auto;
  transform: none;
  object-fit: cover;
  width: 100%;
  height: 100%;
  border-radius: var(--border-radius-lg);
}

.publication-header .hero-body {
  padding: 6rem 1.5rem 4rem;
}

.publication-authors {
    font-family: 'Inter', sans-serif !important;
    font-weight: 500;
    margin-bottom: 1.5rem;
}

.publication-venue {
    color: var(--text-secondary);
    width: fit-content;
    font-weight: 600;
    background: var(--background-accent);
    padding: 0.5rem 1rem;
    border-radius: var(--border-radius);
    margin-top: 1rem;
    display: inline-block;
}

.publication-awards {
    color: #ef4444;
    width: fit-content;
    font-weight: 700;
    background: linear-gradient(135deg, #fef2f2, #fee2e2);
    padding: 0.5rem 1rem;
    border-radius: var(--border-radius);
    border-left: 4px solid #ef4444;
    margin-top: 1rem;
}

.publication-authors a {
   color: var(--primary-color) !important;
   text-decoration: none;
   font-weight: 600;
   transition: var(--transition);
   position: relative;
}

.publication-authors a::after {
    content: '';
    position: absolute;
    width: 0;
    height: 2px;
    bottom: -2px;
    left: 0;
    background: var(--gradient-accent);
    transition: var(--transition);
}

.publication-authors a:hover::after {
    width: 100%;
}

.publication-authors a:hover {
    color: var(--primary-hover) !important;
}

.author-block {
  display: inline-block;
  margin-right: 0.5rem;
}

.publication-banner img {
  border-radius: var(--border-radius-lg);
  box-shadow: var(--shadow-lg);
  transition: var(--transition);
}

.publication-banner img:hover {
  transform: scale(1.02);
  box-shadow: var(--shadow-xl);
}

/* Modern Video and Carousel Styling */
.publication-video {
    position: relative;
    width: 100%;
    height: 0;
    padding-bottom: 56.25%;
    overflow: hidden;
    border-radius: var(--border-radius-lg) !important;
    box-shadow: var(--shadow-xl);
    transition: var(--transition);
}

.publication-video:hover {
    transform: translateY(-4px);
    box-shadow: var(--shadow-xl);
}

.publication-video iframe {
    position: absolute;
    top: 0;
    left: 0;
    width: 100%;
    height: 100%;
    border-radius: var(--border-radius-lg);
}

.publication-body img {
  border-radius: var(--border-radius);
  box-shadow: var(--shadow-md);
  transition: var(--transition);
}

.publication-body img:hover {
  transform: translateY(-2px);
  box-shadow: var(--shadow-lg);
}

.results-carousel {
  overflow: hidden;
  padding: 1rem 0;
}

.results-carousel .item {
  margin: 1rem;
  overflow: hidden;
  padding: 1.5rem;
  font-size: 0;
  background: var(--background-primary);
  border-radius: var(--border-radius-lg);
  box-shadow: var(--shadow-md);
  transition: var(--transition);
  border: 1px solid var(--border-color);
}

.results-carousel .item:hover {
  transform: translateY(-4px);
  box-shadow: var(--shadow-lg);
}

.results-carousel .item img,
.results-carousel video {
  margin: 0;
  border-radius: var(--border-radius);
  width: 100%;
  height: auto;
}

.results-carousel .subtitle {
  font-size: 1rem !important;
  color: var(--text-secondary);
  margin-top: 1rem;
  font-weight: 500;
}

/* Pagination and Misc Improvements */
.slider-pagination .slider-page {
  background: var(--primary-color);
  border-radius: 50%;
  transition: var(--transition);
}

.slider-pagination .slider-page.is-active {
  background: var(--primary-hover);
  transform: scale(1.2);
}

.eql-cntrb { 
  font-size: 0.875rem;
  color: var(--text-light);
  font-style: italic;
}

/* Section Titles */
.title.is-3 {
  font-family: 'Inter', sans-serif !important;
  font-weight: 700 !important;
  color: var(--text-primary);
  margin-bottom: 2rem !important;
  position: relative;
  padding-bottom: 1rem;
}

.title.is-3::after {
  content: '';
  position: absolute;
  bottom: 0;
  left: 50%;
  transform: translateX(-50%);
  width: 60px;
  height: 3px;
  background: var(--gradient-accent);
  border-radius: 2px;
}

/* Content Improvements */
.content.has-text-justified {
  font-size: 1.1rem;
  line-height: 1.8;
  color: var(--text-secondary);
}

.content.has-text-justified p {
  margin-bottom: 1.5rem;
}

/* Footer Improvements */
.footer {
  background: var(--background-secondary);
  border-top: 1px solid var(--border-color);
  padding: 3rem 1.5rem;
}

.footer .content {
  color: var(--text-secondary);
  line-height: 1.7;
}

.footer a {
  color: var(--primary-color);
  text-decoration: none;
  transition: var(--transition);
}

.footer a:hover {
  color: var(--primary-hover);
  text-decoration: underline;
}

/* BibTeX Styling */
pre {
  background: var(--background-accent) !important;
  border: 1px solid var(--border-color) !important;
  border-radius: var(--border-radius) !important;
  padding: 1.5rem !important;
  font-size: 0.9rem !important;
  overflow-x: auto;
  box-shadow: var(--shadow-sm);
}

code {
  background: var(--background-accent) !important;
  color: var(--text-primary) !important;
  font-family: 'SF Mono', 'Monaco', 'Cascadia Code', 'Roboto Mono', monospace !important;
}

/* BibTeX Section Improvements */
.bibtex-header {
  display: flex;
  justify-content: space-between;
  align-items: center;
  margin-bottom: 1rem;
}

.copy-bibtex-btn {
  background: var(--primary-color);
  color: white;
  border: none;
  border-radius: var(--border-radius);
  padding: 0.75rem 1rem;
  font-size: 0.9rem;
  font-weight: 600;
  cursor: pointer;
  transition: var(--transition);
  display: inline-flex;
  align-items: center;
  gap: 0.5rem;
}

.copy-bibtex-btn:hover {
  background: var(--primary-hover);
  transform: translateY(-2px);
  box-shadow: var(--shadow-md);
}

.copy-bibtex-btn.copied {
  background: #10b981;
}

.copy-bibtex-btn.copied .copy-text::after {
  content: "ied!";
}

/* Scroll to Top Button */
.scroll-to-top {
  position: fixed;
  bottom: 2rem;
  right: 2rem;
  width: 50px;
  height: 50px;
  background: var(--primary-color);
  color: white;
  border: none;
  border-radius: 50%;
  cursor: pointer;
  opacity: 0;
  visibility: hidden;
  transition: var(--transition);
  z-index: 999;
  display: flex;
  align-items: center;
  justify-content: center;
  font-size: 1.2rem;
  box-shadow: var(--shadow-lg);
}

.scroll-to-top:hover {
  background: var(--primary-hover);
  transform: translateY(-3px);
  box-shadow: var(--shadow-xl);
}

.scroll-to-top.visible {
  opacity: 1;
  visibility: visible;
}


/* More Works Dropdown */
.more-works-container {
  position: fixed;
  top: 2rem;
  right: 2rem;
  z-index: 1000;
}

.more-works-btn {
  background: var(--background-primary);
  color: var(--text-primary);
  border: 2px solid var(--border-color);
  border-radius: var(--border-radius-lg);
  padding: 0.75rem 1.25rem;
  font-weight: 600;
  font-size: 0.9rem;
  box-shadow: var(--shadow-md);
  transition: var(--transition);
  cursor: pointer;
  text-decoration: none;
  display: inline-flex;
  align-items: center;
  gap: 0.5rem;
  font-family: 'Inter', sans-serif;
}

.more-works-btn:hover {
  transform: translateY(-2px);
  box-shadow: var(--shadow-lg);
  background: var(--background-secondary);
  border-color: var(--primary-color);
}

.more-works-btn .dropdown-arrow {
  transition: var(--transition);
  font-size: 0.8rem;
}

.more-works-btn.active .dropdown-arrow {
  transform: rotate(180deg);
}

.more-works-dropdown {
  position: absolute;
  top: calc(100% + 0.5rem);
  right: 0;
  width: 400px;
  max-width: 90vw;
  background: var(--background-primary);
  border: 1px solid var(--border-color);
  border-radius: var(--border-radius-lg);
  box-shadow: var(--shadow-xl);
  opacity: 0;
  visibility: hidden;
  transform: translateY(-10px);
  transition: var(--transition);
  max-height: 70vh;
  overflow-y: auto;
}

.more-works-dropdown.show {
  opacity: 1;
  visibility: visible;
  transform: translateY(0);
}

.dropdown-header {
  display: flex;
  justify-content: space-between;
  align-items: center;
  padding: 1.5rem 1.5rem 1rem;
  border-bottom: 1px solid var(--border-color);
}

.dropdown-header h4 {
  margin: 0;
  font-size: 1.1rem;
  font-weight: 700;
  color: var(--text-primary);
}

.close-btn {
  background: none;
  border: none;
  color: var(--text-secondary);
  cursor: pointer;
  padding: 0.5rem;
  border-radius: var(--border-radius);
  transition: var(--transition);
}

.close-btn:hover {
  background: var(--background-accent);
  color: var(--text-primary);
}

.works-list {
  padding: 1rem;
}

.work-item {
  display: flex;
  align-items: flex-start;
  justify-content: space-between;
  padding: 1rem;
  border-radius: var(--border-radius);
  text-decoration: none;
  color: inherit;
  transition: var(--transition);
  margin-bottom: 0.5rem;
}

.work-item:hover {
  background: var(--background-accent);
  transform: translateX(4px);
}

.work-info h5 {
  margin: 0 0 0.5rem 0;
  font-size: 1rem;
  font-weight: 500;
  color: var(--text-primary);
}

.work-info p {
  margin: 0 0 0.5rem 0;
  font-size: 0.9rem;
  color: var(--text-secondary);
  line-height: 1.4;
}

.work-venue {
  font-size: 0.8rem;
  color: var(--text-light);
  font-style: italic;
}

.work-item .fas {
  color: var(--text-light);
  font-size: 0.9rem;
  margin-top: 0.2rem;
  flex-shrink: 0;
}


/* Mobile Responsive Improvements */
@media screen and (max-width: 768px) {
  .hero-body {
    padding: 2rem 1rem;
  }
  
  .publication-header .hero-body {
    padding: 3rem 1rem 2rem;
  }
  
  .publication-title {
    font-size: 2.5rem !important;
    line-height: 1.2 !important;
    margin-bottom: 1.5rem !important;
  }
  
  .publication-authors {
    font-size: 1rem !important;
  }
  
  .button {
    margin: 0.25rem !important;
    font-size: 0.875rem !important;
    padding: 0.75rem 1rem !important;
  }
  
  .more-works-container {
    bottom: 2rem;
    right: 1rem;
    top: auto;
  }
  
  .more-works-btn {
    padding: 0.6rem 1rem;
    font-size: 0.8rem;
  }
  
  .more-works-dropdown {
    width: calc(100vw - 2rem);
    right: -1rem;
    bottom: calc(100% + 0.5rem);
    top: auto;
  }
  
  .results-carousel .item {
    margin: 0.5rem;
    padding: 1rem;
  }
  
  .teaser .hero-body {
    padding: 1rem;
  }
  
  .content.has-text-justified {
    font-size: 1rem;
  }
}

@media screen and (max-width: 480px) {
  .publication-title {
    font-size: 2rem !important;
  }
  
  .hero-body {
    padding: 1.5rem 0.75rem;
  }
  
  .more-works-container {
    position: fixed;
    bottom: 2rem;
    right: 1rem;
    z-index: 1000;
  }
  
  .more-works-btn {
    padding: 0.5rem 0.75rem;
    font-size: 0.75rem;
  }
  
  .more-works-dropdown {
    position: absolute;
    bottom: calc(100% + 0.5rem);
    right: 0;
    width: calc(100vw - 2rem);
    max-width: 90vw;
  }
  
  .link-block {
    display: block;
    margin-bottom: 0.5rem;
  }
  
  .button {
    width: 100%;
    justify-content: center;
  }
}

/* Tablet Responsive */
@media screen and (min-width: 769px) and (max-width: 1024px) {
  .hero-body {
    padding: 3rem 2rem;
  }
  
  .publication-header .hero-body {
    padding: 4rem 2rem 3rem;
  }
}

/* Animation for page load */
@keyframes fadeInUp {
  from {
    opacity: 0;
    transform: translateY(30px);
  }
  to {
    opacity: 1;
    transform: translateY(0);
  }
}

.hero, .section {
  animation: fadeInUp 0.6s ease-out;
}

/* Improved focus states for accessibility */
.button:focus,
.related-works-btn:focus,
a:focus {
  outline: 2px solid var(--primary-color);
  outline-offset: 2px;
}


/* Print styles */
@media print {
  .more-works-container {
    display: none;
  }
  
  .hero, .section {
    animation: none;
  }
  
  .button {
    background: transparent !important;
    color: var(--text-primary) !important;
    box-shadow: none !important;
  }
}


/* =========================================
   INTERACTIVE DIAGRAM STYLES
   ========================================= */
:root {
    --bg-page: #f9f9f9;
    --bg-panel: #ffffff;
    --bg-controls: transparent;
    --text-dark: #222;
    --text-main: #333;
    --text-muted: #666;
    --text-light: #aaa;
    --region-obs: #e0e0e0;
    --region-exp: #f4f0e6;
    --theme-blue-main: #4682b4;
    --theme-blue-light: #add8e6;
    --theme-green-main: #228b22;
    --theme-green-light: #90ee90;
    --theme-orange-main: #e67e22;
    --stroke-thin: 1.5px;
    --stroke-normal: 2px;
    --stroke-thick: 2.5px;
    --stroke-profile: 2.5px;
    --stroke-profile-obs: 2.5px;
    --guide-dark: #000;
    --guide-main: #666;
    --guide-muted: #999;
    --guide-light: #bbb;
    --guide-faded: #ccc;
    --point-main: #e74c3c;
    --point-hover: #c0392b;
    --point-stroke: #fff;
    --point-expected: #ccc;
}

.viz-container {
    display: flex;
    flex-direction: row;
    gap: 20px;
    background: var(--bg-controls);
}

.viz-col {
    display: flex;
    flex-direction: column;
    gap: 10px;
    background: var(--bg-panel);
    padding: 20px;
    border-radius: 8px;
    box-shadow: 0 4px 12px rgba(0,0,0,0.1);
}

.controls {
    margin-bottom: 10px;
    background: var(--bg-controls);
    padding: 0;
    display: flex;
    gap: 10px;
    align-items: center;
}

.controls select {
    padding: 2px 4px;
    font-size: 12px;
    border-radius: 4px;
    border: 1px solid var(--guide-faded);
}

.controls label { font-weight: bold; color: #444; font-size: 12px;}
#priorSymbolDisplay { font-size: 12px; color: var(--text-main); }

/* CHART ELEMENTS */
.axis-line { stroke: var(--text-dark); stroke-width: var(--stroke-normal); fill: none; stroke-linecap: round; }
.shaded-region { fill: var(--region-obs); opacity: 0.8; pointer-events: none; }
.shaded-region-expected { fill: var(--region-exp); opacity: 0.7; pointer-events: none; }
.dist-region-k { fill: var(--theme-blue-light); opacity: 0.5; pointer-events: none; }
.dist-curve-k { stroke: var(--theme-blue-main); stroke-width: var(--stroke-normal); fill: none; pointer-events: none; }
.dist-region-m { fill: var(--theme-green-light); opacity: 0.5; pointer-events: none; }
.dist-curve-m { stroke: var(--theme-green-main); stroke-width: var(--stroke-normal); fill: none; pointer-events: none; }
.guide-line, .guide-diagonal, .guide-current-t { stroke: var(--guide-main); stroke-width: var(--stroke-thin); stroke-dasharray: 4, 4; fill: none; }
.guide-light, .guide-expected { stroke: var(--guide-faded); stroke-width: var(--stroke-thin); stroke-dasharray: 4, 4; fill: none; }
.guide-expected { stroke: var(--guide-light); }
.curve-drop { stroke: var(--theme-orange-main); stroke-width: var(--stroke-thick); fill: none; pointer-events: none; }
.observed-profile { stroke: #444; stroke-width: var(--stroke-profile-obs); stroke-linejoin: round; stroke-linecap: round; fill: none; pointer-events: none; }
.expected-profile { stroke: var(--guide-light); stroke-width: var(--stroke-profile); stroke-linejoin: round; stroke-linecap: round; fill: none; pointer-events: none; stroke-dasharray: 6, 2; }
.point { fill: var(--point-main); cursor: pointer; stroke: var(--point-stroke); stroke-width: var(--stroke-normal); transition: fill 0.2s; }
.point:hover { fill: var(--point-hover); }
.point-expected { fill: var(--point-expected); stroke: var(--guide-muted); stroke-width: var(--stroke-thin); pointer-events: none; }
.axis-title { font-size: 12px; fill: #444; font-weight: bold; }
.plot-title { font-size: 12px; fill: var(--text-dark); font-weight: bold; }
.region-label { font-size: 12px; fill: var(--text-muted); pointer-events: none; text-anchor: middle; font-weight: 500; }
.region-label-expected { font-size: 12px; fill: var(--text-light); pointer-events: none; text-anchor: middle; font-weight: 500; }

/* MATHJAX */
.mjx-container { font-size: 28px; pointer-events: none; font-weight: normal; }
.mjx-container svg { shape-rendering: geometricPrecision; display: block; }
.mjx-container svg path { fill: currentColor; stroke: none; }

/* =========================================
   EMPIRICAL VISUALIZER STYLES
   ========================================= */
.empirical-wrapper {
    --bg-panel: #ffffff;
    --border-color: #ddd;
    --console-bg: #1e1e1e;
    --console-text: #d4d4d4;
    --bf-output-color: #ce9178;
    --ribbon-color: #ff3c3c;
    /* Graphing colors requested by JS */
    --color-axis: #222;
    --color-guide: #bbb;
    --color-grid: rgba(150, 150, 150, 0.6);
    --curve-inactive: rgba(70, 130, 180, 0.1);
    --curve-active: #444444;
    --curve-selected: #ff8c00;
    --shade-left: rgba(216, 216, 216, 0.80);
    --shade-right: rgba(241, 236, 224, 0.60);
    --horizon-1: rgba(70, 130, 180, 0.4);
    --horizon-2: rgba(70, 130, 180, 0.7);
    --horizon-3: #4682b4;
    --horizon-inf: #315b7e;
    --dyn-horizon-1: #f4f0e6;
    --dyn-horizon-2: #e3e0da;
    --dyn-horizon-3: #cfcdca;
    --dyn-horizon-inf: #bbbbbb;
    --color-point: #e74c3c;
    --color-point-hover: #c0392b;
}

.emp-divider { border: 0; border-top: 1px solid var(--border-color); margin: 40px 0; }

.vis-module {
    background: var(--bg-panel);
    padding: 20px 30px;
    border-radius: 8px;
    box-shadow: 0 4px 12px rgba(0,0,0,0.1);
    margin-bottom: 30px;
}

.emp-container {
    display: flex;
    gap: 20px;
    margin-bottom: 20px;
    align-items: stretch;
}

.emp-charts { display: flex; flex-direction: column; gap: 10px; }
.chart-wrapper { position: relative; }
.plot-canvas, .prog-canvas { position: absolute; top: 0; left: 0; z-index: 1; }
.plot-svg, .prog-svg { position: relative; z-index: 2; pointer-events: none; }

.emp-sidebar { width: 320px; display: flex; flex-direction: column; gap: 10px; }
.emp-controls { display: flex; align-items: center; gap: 10px; font-weight: bold; font-size: 12px}
.emp-controls select { padding: 4px; border-radius: 4px; border: 1px solid var(--border-color); }
.prior-symbol-display { font-size: 12px; margin-left: 10px; color: #333; }

.list-title { font-weight: bold; margin-top: 8px; font-size: 12px; }
.list-title-flex { display: flex; justify-content: space-between; }
.runtime-label { font-weight: normal; color: #666; }

.list-box {
    flex: 1 1 0; min-height: 0;
    border: 1px solid var(--border-color);
    border-radius: 4px; overflow-y: auto; padding: 5px; background: #fafafa;
}

.list-item { padding: 4px 6px; cursor: pointer; border-bottom: 1px solid #eee; font-family: monospace; font-size: 12px; transition: background 0.1s; }
.list-item:hover { background: #eaeaea; }
.list-item.active { background: #ddd; font-weight: bold; }
.program-item { display: flex; justify-content: space-between; }
.prog-str { overflow: hidden; text-overflow: ellipsis; white-space: nowrap; max-width: 70%; }

/* Simulators */
.machine-section { padding-top: 20px; border-top: 1px solid var(--border-color); }
.machine-controls { display: flex; gap: 15px; margin-bottom: 15px; align-items: center; }
.machine-controls input { padding: 5px; border: 1px solid var(--border-color); border-radius: 4px; }

.console-output {
    background: var(--console-bg);
    color: var(--console-text);    /* Reverted to light text for BF */
    font-size: 12px !important;    /* !important forces it past the global <pre> rule */
    border-radius: 4px !important; /* !important forces it past the global <pre> rule */
    padding: 12px !important;
    font-family: monospace;
    height: 150px;
    overflow-y: auto;
    white-space: pre-wrap;
}

pre.console-output {
    background: var(--background-accent) !important;
    color: var(--text-primary) !important; /* Dark text specifically for the light background */
}

#ca-viewport { max-height: 300px; overflow-y: auto; border: 1px solid var(--border-color); border-radius: 4px; }
#ca-canvas { display: block; }
#ca-status { font-size: 12px; color: #666; }
pre#ca-final-output {
    display: none;
    margin-top: 10px;
    padding: 12px !important;
    background: var(--background-accent) !important;
    font-family: monospace;
    font-size: 12px !important; /* Forces the exact size */
    border-radius: 4px !important; /* Overrides the heavy global rounding */
    word-break: break-all;
    color: var(--text-primary) !important;
    border: 1px solid var(--border-color) !important;
}
.bf-input { flex: 1; }
/* 3. Brainfuck spacing fix */
.bf-display {
    height: auto;
    min-height: 100px;
    line-height: 1.5;
    white-space: normal;
}

.bf-display > div + div {
    margin-top: 1.5em;
}
.bf-label { color: #569cd6; font-weight: bold; width: 60px; display: inline-block; font-size: 12px}
.bf-content { font-family: monospace; letter-spacing: 1px; font-size: 12px}
.code-char, .tape-cell { display: inline-block; min-width: 1.5ch; text-align: center; border-radius: 2px; }
.code-char.active, .tape-cell.active { background: #555; color: #fff; }
.bf-output-display { color: var(--bf-output-color); font-weight: bold; }

.empirical-wrapper .point { fill: var(--color-point); cursor: pointer; stroke: #fff; stroke-width: 2px; transition: fill 0.2s; pointer-events: all; }
.empirical-wrapper .point:hover { fill: var(--color-point-hover); }
.guide-line-dash { stroke: var(--color-guide); stroke-width: 1.5px; stroke-dasharray: 4, 4; fill: none; }

.blue-label {
    color: var(--theme-blue-main);
}
.green-label {
    color: var(--theme-green-main);
}
.orange-label {
    color: var(--theme-orange-main);
}