/* latexport 2026.3.2 */

/*
 * Computer Modern Web Fonts
 * Source: vsalvino/computer-modern via jsDelivr CDN
 * https://github.com/vsalvino/computer-modern
 * License: SIL Open Font License (OFL)
 */

@import url("https://cdn.jsdelivr.net/gh/vsalvino/computer-modern@main/fonts/serif.css");
@import url("https://cdn.jsdelivr.net/gh/vsalvino/computer-modern@main/fonts/sans.css");

:root {
    --page-width: 80ch;
    --ui-border: rgba(128, 128, 128, 0.35);
    --ui-bg-hover: rgba(128, 128, 128, 0.15);
    --ui-bg-active: rgba(128, 128, 128, 0.3);
    --ui-shadow: 0 2px 8px rgba(0, 0, 0, 0.15);
}

body {
    background-color: Canvas;
    color: CanvasText;
    color-scheme: light dark;

    max-width: var(--page-width);
    margin-inline: auto;
    padding-inline: 1.25rem;

    font-family: 'Computer Modern Serif', Georgia, serif;
}

/* ── Settings toolbar ─────────────────────────────────────────────── */

#latexport-toolbar {
    position: fixed;
    top: 1rem;
    right: 1rem;
    display: flex;
    align-items: center;
    gap: 0.5rem;
    background: Canvas;
    border: 1px solid var(--ui-border);
    border-radius: 0.5rem;
    padding: 0.35rem 0.6rem;
    font-size: 0.8rem;
    z-index: 100;
    box-shadow: var(--ui-shadow);
    color: CanvasText;
}

#latexport-toolbar .toolbar-sep {
    width: 1px;
    height: 1.2em;
    background: var(--ui-border);
    flex-shrink: 0;
}

#latexport-toolbar label {
    white-space: nowrap;
    cursor: default;
}

#latexport-toolbar input[type="range"] {
    width: 5rem;
    cursor: pointer;
    accent-color: Highlight;
    vertical-align: middle;
}

#page-width-value {
    min-width: 3.2rem;
    text-align: right;
    font-variant-numeric: tabular-nums;
    white-space: nowrap;
}

#latexport-toolbar button {
    background: transparent;
    border: 1px solid var(--ui-border);
    border-radius: 0.3rem;
    color: CanvasText;
    cursor: pointer;
    padding: 0.15rem 0.5rem;
    font-size: inherit;
    white-space: nowrap;
}

#latexport-toolbar button:hover {
    background: var(--ui-bg-hover);
}

#latexport-toolbar button[aria-pressed="true"] {
    background: var(--ui-bg-active);
}

#latexport-toolbar button:focus-visible {
    outline: 2px solid Highlight;
    outline-offset: 2px;
}

/* ── Go to top button ─────────────────────────────────────────────── */

#go-to-top {
    position: fixed;
    bottom: 2rem;
    right: 2rem;
    background: Canvas;
    border: 1px solid var(--ui-border);
    border-radius: 50%;
    color: CanvasText;
    cursor: pointer;
    width: 2.5rem;
    height: 2.5rem;
    font-size: 1.2rem;
    display: grid;
    place-items: center;
    box-shadow: var(--ui-shadow);
    z-index: 100;
    transition: background 0.15s;
}

#go-to-top:hover {
    background: var(--ui-bg-hover);
}

#go-to-top:focus-visible {
    outline: 2px solid Highlight;
    outline-offset: 2px;
}

#go-to-top[hidden] {
    display: none;
}

.ltx_figure {
    padding-block: 1rem;
}

@media (prefers-color-scheme: dark) {
    img[src^="index"],
    .ltx_figure object[type="image/svg+xml"] {
        filter: invert(1);
    }

    svg {
        color: white;
    }
}

svg path:not(stroke="none") {
    stroke: currentColor;
}

.ltx_page_logo img {
    display: inline;
    padding-inline: 0.3rem;
}

.visually-hidden {
    position: absolute;
    width: 1px;
    height: 1px;
    margin: -1px;
    padding: 0;
    border: 0;
    overflow: hidden;
    clip: rect(0 0 0 0);
    clip-path: inset(50%);
    white-space: nowrap;
}

.hidden {
    display: none !important;
}

.qed {
    float: inline-end;
    margin-inline-end: 0.6em;
    font-size: 125%;
    line-height: 1em;
}

p.ltx_p:has(> span.qed) {
    display: inline;
}

.ltx_proof {
  padding-block-end: 12px;
  position: relative;
}

.ltx_proof::after {
  content: '';
  display: block;
  height: 1px;
  margin-top: 12px;
  background: linear-gradient(
    to right,
    transparent,
    rgba(0, 0, 0, 0.18) 30%,
    rgba(0, 0, 0, 0.18) 70%,
    transparent
  );
}

@media (prefers-color-scheme: dark) {
  .ltx_proof::after {
    background: linear-gradient(
      to right,
      transparent,
      rgba(255, 255, 255, 0.18) 30%,
      rgba(255, 255, 255, 0.18) 70%,
      transparent
    );
  }
}

.is-safari foreignObject span {
    position: fixed;
}