(** Structural CSS for the scrollycode extension.

    This CSS defines layout, animations, and structure using CSS custom
    properties for all theming. Theme files set the custom property values.

    Custom property contract:
    - Typography: --sc-font-display, --sc-font-body, --sc-font-code
    - Colors: --sc-bg, --sc-text, --sc-text-dim, --sc-accent, --sc-accent-soft,
              --sc-code-bg, --sc-code-text, --sc-code-gutter, --sc-border,
              --sc-focus-bg, --sc-panel-radius
    - Syntax: --sc-hl-keyword, --sc-hl-type, --sc-hl-string, --sc-hl-comment,
              --sc-hl-number, --sc-hl-module, --sc-hl-operator, --sc-hl-punct *)

let structural_css =
  {|
/* === Container === */

/* odoc wraps tag extension output in <ul class="at-tags"><li class="scrolly">
   — remove the bullet and list padding. */
ul.at-tags:has(> li.scrolly) {
  list-style: none;
  padding: 0;
  margin: 0;
}
li.scrolly {
  list-style: none;
  padding: 0;
  margin: 0;
}

.sc-container {
  font-family: var(--sc-font-body);
  background: var(--sc-bg);
  color: var(--sc-text);
}

/* === Hero === */
.sc-container .sc-hero {
  background: var(--sc-bg);
  padding: 5rem 2rem 3rem;
}

.sc-container .sc-hero h1 {
  font-family: var(--sc-font-display);
  font-size: clamp(2.2rem, 5vw, 3.4rem);
  font-weight: 800;
  color: var(--sc-text);
  letter-spacing: -0.03em;
  line-height: 1.1;
  margin-bottom: 0.75rem;
}

.sc-container .sc-hero p {
  color: var(--sc-text-dim);
  font-size: 1.05rem;
  max-width: 48ch;
  line-height: 1.6;
}

/* === Tutorial layout === */
.sc-container .sc-tutorial {
  display: flex;
  gap: 0;
  background: var(--sc-bg);
  position: relative;
}

.sc-container .sc-steps-col {
  flex: 1;
  min-width: 0;
  padding: 2rem 2.5rem 50vh 2.5rem;
}

.sc-container .sc-code-col {
  width: 52%;
  flex-shrink: 0;
}

/* === Step === */
.sc-container .sc-step {
  min-height: 70vh;
  display: flex;
  flex-direction: column;
  justify-content: center;
  padding: 2rem 0;
}

.sc-container .sc-step-number {
  font-family: var(--sc-font-code);
  font-size: 0.7rem;
  font-weight: 600;
  letter-spacing: 0.1em;
  color: var(--sc-accent);
  text-transform: uppercase;
  margin-bottom: 0.5rem;
}

.sc-container .sc-step h2 {
  font-family: var(--sc-font-display);
  font-size: 1.5rem;
  font-weight: 700;
  color: var(--sc-text);
  letter-spacing: -0.02em;
  margin-bottom: 0.75rem;
  line-height: 1.25;
}

.sc-container .sc-step p {
  color: var(--sc-text-dim);
  font-size: 0.95rem;
  line-height: 1.7;
  max-width: 44ch;
}

/* === Code panel === */
.sc-container .sc-code-panel {
  position: sticky;
  top: 10vh;
  height: 80vh;
  margin: 0 2rem 0 0;
  background: var(--sc-code-bg);
  border-radius: var(--sc-panel-radius);
  overflow: hidden;
  display: flex;
  flex-direction: column;
  box-shadow: 0 20px 60px rgba(0, 0, 0, 0.2), 0 0 0 1px rgba(255,255,255,0.03) inset;
}

.sc-container .sc-code-header {
  display: flex;
  align-items: center;
  padding: 0.85rem 1.25rem;
  background: rgba(255,255,255,0.03);
  border-bottom: 1px solid rgba(255,255,255,0.06);
  gap: 0.6rem;
}

.sc-container .sc-dots {
  display: flex;
  gap: 6px;
}

.sc-container .sc-dots span {
  width: 10px;
  height: 10px;
  border-radius: 50%;
}

.sc-container .sc-dots span:nth-child(1) { background: #ff5f57; }
.sc-container .sc-dots span:nth-child(2) { background: #ffbd2e; }
.sc-container .sc-dots span:nth-child(3) { background: #28c840; }

.sc-container .sc-filename {
  font-family: var(--sc-font-code);
  font-size: 0.72rem;
  color: rgba(255,255,255,0.35);
  letter-spacing: 0.04em;
  flex: 1;
  text-align: center;
}

.sc-container .sc-step-badge {
  font-family: var(--sc-font-code);
  font-size: 0.65rem;
  color: rgba(255,255,255,0.25);
  letter-spacing: 0.06em;
}

.sc-container .sc-code-body {
  flex: 1;
  overflow-y: auto;
  padding: 1.25rem 0;
  font-family: var(--sc-font-code);
  font-size: 0.82rem;
  line-height: 1.7;
  color: var(--sc-code-text);
}

/* === Lines === */
.sc-container .sc-line {
  padding: 0 1.25rem;
  white-space: pre;
  transition: opacity 0.3s ease;
  opacity: 0.35;
}

.sc-container .sc-line.sc-focused {
  opacity: 1;
  background: var(--sc-focus-bg, rgba(255,255,255,0.04));
}

.sc-container .sc-line-number {
  display: inline-block;
  width: 3ch;
  text-align: right;
  margin-right: 1.5ch;
  color: var(--sc-code-gutter);
  user-select: none;
}

/* === Syntax highlighting === */
.sc-container .hl-keyword { color: var(--sc-hl-keyword); font-weight: 500; }
.sc-container .hl-type { color: var(--sc-hl-type); }
.sc-container .hl-string { color: var(--sc-hl-string); }
.sc-container .hl-comment { color: var(--sc-hl-comment); font-style: italic; }
.sc-container .hl-number { color: var(--sc-hl-number); }
.sc-container .hl-module { color: var(--sc-hl-module); }
.sc-container .hl-operator { color: var(--sc-hl-operator); }
.sc-container .hl-punct { color: var(--sc-hl-punct); }

/* === Progress pips === */
.sc-container .sc-progress {
  position: fixed;
  left: 1.5rem;
  top: 50%;
  transform: translateY(-50%);
  display: flex;
  flex-direction: column;
  gap: 8px;
  z-index: 100;
}

.sc-container .sc-pip {
  width: 6px;
  height: 6px;
  border-radius: 50%;
  background: var(--sc-border);
  transition: all 0.3s ease;
}

.sc-container .sc-pip.sc-active {
  background: var(--sc-accent);
  box-shadow: 0 0 8px color-mix(in srgb, var(--sc-accent) 40%, transparent);
  transform: scale(1.4);
}

/* === Animations === */
@keyframes sc-line-exit {
  0% { opacity: 1; transform: translateX(0); }
  100% { opacity: 0; transform: translateX(-30px); }
}

@keyframes sc-line-enter {
  0% { opacity: 0; transform: translateX(30px); }
  100% { opacity: 1; transform: translateX(0); }
}

.sc-container .sc-line.sc-exiting {
  animation: sc-line-exit 0.2s cubic-bezier(0.22, 1, 0.36, 1) forwards;
}

.sc-container .sc-line.sc-entering {
  animation: sc-line-enter 0.25s cubic-bezier(0.22, 1, 0.36, 1) both;
}

/* Hidden code slot */
.sc-code-slot { display: none; }

/* === Mobile responsive === */
@media (max-width: 700px) {
  .sc-container { padding: 0 1rem; }
  .sc-container .sc-desktop { display: none !important; }
  .sc-container .sc-mobile { display: block !important; }
  .sc-container .sc-progress { display: none; }
  .sc-container .sc-hero h1 { font-size: 2rem; }
}
@media (min-width: 701px) {
  .sc-container .sc-mobile { display: none !important; }
}

.sc-container .sc-mobile-step {
  margin: 1.5rem 0;
  padding: 1.5rem;
  border-radius: 12px;
  background: var(--sc-mobile-step-bg, rgba(255,255,255,0.5));
}

.sc-container .sc-mobile-step-num {
  font-family: var(--sc-font-display);
  font-size: 0.75rem;
  text-transform: uppercase;
  letter-spacing: 0.15em;
  color: var(--sc-accent);
  margin-bottom: 0.5rem;
}

.sc-container .sc-mobile-step h2 {
  font-family: var(--sc-font-display);
  font-size: 1.3rem;
  color: var(--sc-text);
  margin: 0 0 0.75rem;
}

.sc-container .sc-mobile-step p {
  font-family: var(--sc-font-body);
  font-size: 1rem;
  color: var(--sc-text-dim);
  line-height: 1.6;
  margin: 0 0 1rem;
}

.sc-container .sc-diff-block {
  background: var(--sc-code-bg);
  border-radius: 8px;
  padding: 0.75rem;
  overflow-x: auto;
  font-family: var(--sc-font-code);
  font-size: 0.8rem;
  line-height: 1.5;
}

.sc-container .sc-diff-line { padding: 1px 0.5rem; white-space: pre; }
.sc-container .sc-diff-added { background: rgba(80, 200, 80, 0.15); border-left: 3px solid #4caf50; }
.sc-container .sc-diff-removed { background: rgba(255, 80, 80, 0.12); border-left: 3px solid #ef5350; text-decoration: line-through; opacity: 0.7; }
.sc-container .sc-diff-same { opacity: 0.5; }

/* === Playground overlay === */
.sc-playground-overlay {
  display: none;
  position: fixed;
  inset: 0;
  z-index: 10000;
  background: rgba(0,0,0,0.6);
  backdrop-filter: blur(4px);
  align-items: center;
  justify-content: center;
}
.sc-playground-overlay.sc-open {
  display: flex;
}
.sc-playground-container {
  width: 90vw;
  max-width: 900px;
  height: 80vh;
  background: var(--sc-code-bg, #1e1b2e);
  border-radius: 12px;
  display: flex;
  flex-direction: column;
  overflow: hidden;
  box-shadow: 0 25px 80px rgba(0,0,0,0.5);
}
.sc-playground-header {
  display: flex;
  align-items: center;
  justify-content: space-between;
  padding: 0.85rem 1.5rem;
  background: rgba(255,255,255,0.05);
  border-bottom: 1px solid rgba(255,255,255,0.1);
  flex-shrink: 0;
}
.sc-playground-title {
  font-family: var(--sc-font-code, monospace);
  font-size: 0.8rem;
  font-weight: 500;
  letter-spacing: 0.04em;
  color: rgba(255,255,255,0.6);
  text-transform: uppercase;
}
.sc-playground-close {
  background: none;
  border: none;
  color: rgba(255,255,255,0.4);
  font-size: 1.25rem;
  cursor: pointer;
  padding: 0 0.25rem;
  line-height: 1;
}
.sc-playground-close:hover { color: #fff; }
.sc-playground-editor {
  flex: 1;
  overflow: auto;
  min-height: 0;
}
.sc-playground-editor x-ocaml {
  display: block;
  height: 100%;
  font-size: 0.85rem;

  /* Map scrollycode theme properties to x-ocaml custom properties */
  --xo-font: var(--sc-font-code, monospace);
  --xo-font-size: inherit;
  --xo-bg: var(--sc-code-bg, #1a1a2e);
  --xo-text: var(--sc-code-text, #d4d0c8);
  --xo-gutter-bg: var(--sc-code-bg, #1a1a2e);
  --xo-gutter-text: var(--sc-code-gutter, #3a3a52);
  --xo-gutter-border: rgba(255,255,255,0.06);
  --xo-focus-outline: rgba(255,255,255,0.2);
  --xo-active-line: rgba(255,255,255,0.04);
  --xo-active-line-focused: rgba(255,255,255,0.06);
  --xo-selection: rgba(255,255,255,0.12);
  --xo-selection-focused: rgba(255,255,255,0.15);
  --xo-content-padding-left: 16px;
  --xo-gutter-element-padding: 0 12px 0 8px;
  --xo-line-numbers-min-width: 40px;

  /* Run button */
  --xo-btn-bg: var(--sc-code-bg, #1a1a2e);
  --xo-btn-border: var(--sc-code-gutter, #3a3a52);
  --xo-btn-text: var(--sc-code-text, #d4d0c8);
  --xo-btn-hover-bg: var(--sc-accent, #c25832);
  --xo-btn-hover-text: #fff;

  /* Tooltips */
  --xo-tooltip-bg: var(--sc-code-bg, #1a1a2e);
  --xo-tooltip-text: var(--sc-code-text, #d4d0c8);
  --xo-tooltip-border: rgba(255,255,255,0.15);

  /* Output areas */
  --xo-stdout-bg: rgba(255,255,255,0.05);
  --xo-stdout-text: var(--sc-code-text, #d4d0c8);
  --xo-stderr-bg: rgba(235,86,86,0.1);
  --xo-stderr-text: #f08080;
  --xo-meta-bg: rgba(255,255,255,0.03);
  --xo-meta-text: var(--sc-code-gutter, #3a3a52);
}

/* === Playground button === */
.sc-container .sc-playground-btn {
  display: inline-block;
  margin-top: 0.75rem;
  padding: 0.4rem 1rem;
  border: 1px solid color-mix(in srgb, var(--sc-accent) 30%, transparent);
  border-radius: 6px;
  background: transparent;
  color: var(--sc-accent);
  font-family: var(--sc-font-body);
  font-size: 0.85rem;
  cursor: pointer;
  transition: all 0.2s;
}
.sc-container .sc-playground-btn:hover {
  background: color-mix(in srgb, var(--sc-accent) 10%, transparent);
  border-color: var(--sc-accent);
}
|}