/* Interactive paper-to-Lean statement comparisons. */

.statement-comparison,
.lean-code-block {
  --statement-accent: var(--color-green);
  --statement-syntax-keyword: #9b59b6;
  --statement-syntax-built-in: #8e44ad;
  --statement-syntax-comment: #6f7b83;
  --statement-syntax-string: #16833b;
  --statement-syntax-number: #c85e12;
  --statement-syntax-symbol: #b32929;
  --statement-syntax-title: #1168a6;
  --statement-syntax-params: #27313d;
  --statement-syntax-attr: #806800;
}

.statement-comparison {
  margin: 2.75rem 0 3.25rem;
  border: 3px solid var(--border);
  background: var(--bg);
  box-shadow: 7px 7px 0 var(--border);
}

.statement-comparison__header {
  padding: 1rem 1.15rem;
  border-bottom: 3px solid var(--border);
}

.statement-comparison__label,
.statement-comparison__source-label {
  font-family: var(--font-pixel);
  font-size: 0.7rem;
  line-height: 1.4;
  text-transform: uppercase;
}

.statement-comparison__title {
  margin: 0;
  font-size: 1.15rem;
  line-height: 1.3;
}

.statement-comparison__tabs {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  border-bottom: 3px solid var(--border);
}

.statement-comparison__tab {
  min-height: 3.6rem;
  padding: 0.7rem 0.45rem;
  border: 0;
  border-right: 3px solid var(--border);
  border-radius: 0;
  color: var(--text);
  background: var(--gray);
  font-family: var(--font-pixel);
  font-size: 0.85rem;
  line-height: 1.35;
  cursor: pointer;
}

.statement-comparison__tab:last-child {
  border-right: 0;
}

.statement-comparison__tab:hover {
  filter: brightness(1.08);
}

.statement-comparison__tab[aria-selected="true"] {
  color: #fff;
  background: var(--statement-accent);
  box-shadow: inset 0 -4px 0 var(--border);
}

.statement-comparison__tab:focus-visible {
  position: relative;
  z-index: 1;
  outline: 4px solid var(--color-blue);
  outline-offset: -6px;
}

.statement-comparison__panel {
  padding: 1.15rem;
}

.statement-comparison__panel[hidden] {
  display: none;
}

.statement-comparison__label {
  display: block;
  margin-bottom: 0.75rem;
  color: var(--statement-accent);
}

.statement-comparison.is-enhanced .statement-comparison__label {
  display: none;
}

.statement-comparison__panel p:last-child,
.statement-comparison__panel ul:last-child {
  margin-bottom: 0;
}

.statement-comparison__panel pre,
pre.lean-code-block {
  max-width: 100%;
  margin: 0;
  padding: 0;
  overflow-x: auto;
  border: 0;
  color: var(--text);
  background: var(--bg);
  font-family: var(--font-mono);
  font-size: var(--font-size-body);
  line-height: 1.55;
  tab-size: 2;
  white-space: pre;
}

.statement-comparison__panel pre code,
.statement-comparison__panel pre code.hljs,
.lean-code-block code,
.lean-code-block code.hljs {
  display: block;
  padding: 0;
  color: inherit;
  background: transparent;
}

.statement-comparison .hljs-keyword,
.statement-comparison .hljs-meta,
.lean-code-block .hljs-keyword,
.lean-code-block .hljs-meta {
  color: var(--statement-syntax-keyword);
}

.statement-comparison .hljs-built_in,
.lean-code-block .hljs-built_in {
  color: var(--statement-syntax-built-in);
}

.statement-comparison .hljs-comment,
.statement-comparison .hljs-doctag,
.lean-code-block .hljs-comment,
.lean-code-block .hljs-doctag {
  color: var(--statement-syntax-comment);
  font-style: italic;
}

.statement-comparison .hljs-string,
.statement-comparison .hljs-regexp,
.lean-code-block .hljs-string,
.lean-code-block .hljs-regexp {
  color: var(--statement-syntax-string);
}

.statement-comparison .hljs-number,
.statement-comparison .hljs-literal,
.lean-code-block .hljs-number,
.lean-code-block .hljs-literal {
  color: var(--statement-syntax-number);
}

.statement-comparison .hljs-symbol,
.lean-code-block .hljs-symbol {
  color: var(--statement-syntax-symbol);
}

.statement-comparison .hljs-title,
.statement-comparison .hljs-title.class_,
.statement-comparison .hljs-title.function_,
.lean-code-block .hljs-title,
.lean-code-block .hljs-title.class_,
.lean-code-block .hljs-title.function_ {
  color: var(--statement-syntax-title);
}

.statement-comparison .hljs-params,
.lean-code-block .hljs-params {
  color: var(--statement-syntax-params);
}

.statement-comparison .hljs-attr,
.lean-code-block .hljs-attr {
  color: var(--statement-syntax-attr);
}

pre.lean-code-block {
  margin: 1.25rem 0;
  padding: 1rem 1.15rem;
  border: 3px solid var(--border);
  background: transparent;
}

.statement-comparison__note {
  margin-top: 0.8rem;
  font-size: 0.88rem;
  line-height: 1.55;
}

.statement-comparison__source {
  padding: 0.8rem 1.15rem;
  border-top: 3px solid var(--border);
  background: var(--gray);
  font-size: 0.87rem;
  line-height: 1.5;
}

.statement-comparison__source-label {
  margin-right: 0.45rem;
}

@media (max-width: 560px) {
  .statement-comparison {
    box-shadow: 5px 5px 0 var(--border);
  }

  .statement-comparison__tabs {
    grid-template-columns: 1fr;
  }

  .statement-comparison__tab {
    min-height: auto;
    border-right: 0;
    border-bottom: 3px solid var(--border);
  }

  .statement-comparison__tab:last-child {
    border-bottom: 0;
  }

}

@media (prefers-reduced-motion: reduce) {
  .statement-comparison__tab {
    scroll-behavior: auto;
  }
}

@media (prefers-color-scheme: dark) {
  .statement-comparison,
  .lean-code-block {
    --statement-syntax-keyword: #f4ccff;
    --statement-syntax-built-in: #e8b8f8;
    --statement-syntax-comment: #aab4c3;
    --statement-syntax-string: #a0ffba;
    --statement-syntax-number: #ffd494;
    --statement-syntax-symbol: #ffb8b8;
    --statement-syntax-title: #8cc4ff;
    --statement-syntax-params: #d4dae5;
    --statement-syntax-attr: #f8e088;
  }
}