/* Base styles and content styles */

:root {
    /* Browser default font-size is 16px, this way 1 rem = 10px */
    font-size: 62.5%;
    color-scheme: var(--color-scheme);
}

html {
    font-family: "Atkinson Hyperlegible", sans-serif;
    color: var(--fg);
    background-color: var(--bg);
    text-size-adjust: none;
    -webkit-text-size-adjust: none;
}

body {
    margin: 0;
    font-size: 1.6rem;
    overflow-x: hidden;
}

code {
    font-family: var(--mono-font) !important;
    font-size: var(--code-font-size);
    direction: ltr !important;
}

/* make long words/inline code not x overflow */
main {
    overflow-wrap: break-word;
}

/* make wide tables scroll if they overflow */
.table-wrapper {
    overflow-x: auto;
}

/* Don't change font size in headers. */
h1 code,
h2 code,
h3 code,
h4 code,
h5 code,
h6 code {
    font-size: unset;
}

.left {
    float: left;
}
.right {
    float: right;
}
.boring {
    opacity: 0.6;
}
.hide-boring .boring {
    display: none;
}
.hidden {
    display: none !important;
}

/* Heading typography - use Title font for all headings */
h1,
h2,
h3,
h4,
h5,
h6 {
    font-family: "Title", sans-serif;
}

h1 {
    margin-block-start: 2em;
}
h2,
h3 {
    margin-block-start: 1.5em;
}
h4,
h5 {
    margin-block-start: 1em;
}

.header + .header h3,
.header + .header h4,
.header + .header h5 {
    margin-block-start: 1em;
}

h1:target::before,
h2:target::before,
h3:target::before,
h4:target::before,
h5:target::before,
h6:target::before {
    display: inline-block;
    content: "»";
    margin-inline-start: -30px;
    width: 30px;
}

/* This is broken on Safari as of version 14, but is fixed
   in Safari Technology Preview 117 which I think will be Safari 14.2.
   https://bugs.webkit.org/show_bug.cgi?id=218076
*/
:target {
    /* Safari does not support logical properties */
    scroll-margin-top: calc(var(--menu-bar-height) + 0.5em);
}

.page {
    outline: 0;
    padding: 0 var(--page-padding);
    margin-block-start: calc(
        0px - var(--menu-bar-height)
    ); /* Compensate for the #menu-bar-hover-placeholder */
}
.page-wrapper {
    box-sizing: border-box;
    background-color: var(--bg);
}
.no-js .page-wrapper,
.js:not(.sidebar-resizing) .page-wrapper {
    transition:
        margin-left 0.3s ease,
        transform 0.3s ease; /* Animation: slide away */
}
[dir="rtl"] .js:not(.sidebar-resizing) .page-wrapper {
    transition:
        margin-right 0.3s ease,
        transform 0.3s ease; /* Animation: slide away */
}

.content {
    overflow-y: auto;
    padding: 0 5px 50px 5px;
}
.content main {
    margin-inline-start: auto;
    margin-inline-end: auto;
    max-width: var(--content-max-width);
}
.content p {
    line-height: 1.45em;
}
.content ol {
    line-height: 1.45em;
}
.content ul {
    line-height: 1.45em;
}
.content a,
.content a:link,
.content a:visited {
    color: var(--fg);
    text-decoration: none;
    border-bottom: 1px solid #8b4513; /* red-brown underline */
    transition: border-bottom-color 0.2s ease;
}
.content a:hover {
    text-decoration: none;
    border-bottom-color: #a0522d; /* slightly lighter on hover */
}
.content img,
.content video {
    max-width: 100%;
}
.content .header:link,
.content .header:visited {
    color: var(--fg);
}
.content .header:link,
.content .header:visited:hover {
    text-decoration: none;
}

table {
    margin: 0 auto;
    border-collapse: collapse;
}
table td {
    padding: 3px 20px;
    border: 1px var(--table-border-color) solid;
}
table thead {
    background: var(--table-header-bg);
}
table thead td {
    font-weight: 700;
    border: none;
}
table thead th {
    padding: 3px 20px;
}
table thead tr {
    border: 1px var(--table-header-bg) solid;
}
/* Alternate background colors for rows */
table tbody tr:nth-child(2n) {
    background: var(--table-alternate-bg);
}

blockquote {
    margin: 20px 0;
    padding: 0 20px;
    color: var(--fg);
    background-color: var(--quote-bg);
    border-block-start: 0.1em solid var(--quote-border);
    border-block-end: 0.1em solid var(--quote-border);
}

.warning {
    margin: 20px;
    padding: 0 20px;
    border-inline-start: 2px solid var(--warning-border);
}

.warning:before {
    position: absolute;
    width: 3rem;
    height: 3rem;
    margin-inline-start: calc(-1.5rem - 21px);
    content: "ⓘ";
    text-align: center;
    background-color: var(--bg);
    color: var(--warning-border);
    font-weight: bold;
    font-size: 2rem;
}

blockquote .warning:before {
    background-color: var(--quote-bg);
}

kbd {
    background-color: var(--table-border-color);
    border-radius: 4px;
    border: solid 1px var(--theme-popup-border);
    box-shadow: inset 0 -1px 0 var(--theme-hover);
    display: inline-block;
    font-size: var(--code-font-size);
    font-family: var(--mono-font);
    line-height: 10px;
    padding: 4px 5px;
    vertical-align: middle;
}

sup {
    /* Set the line-height for superscript and footnote references so that there
       isn't an awkward space appearing above lines that contain the footnote.

       See https://github.com/rust-lang/mdBook/pull/2443#discussion_r1813773583
       for an explanation.
    */
    line-height: 0;
}

.footnote-definition {
    font-size: 0.9em;
}
/* The default spacing for a list is a little too large. */
.footnote-definition ul,
.footnote-definition ol {
    padding-left: 20px;
}
.footnote-definition > li {
    /* Required to position the ::before target */
    position: relative;
}
.footnote-definition > li:target {
    scroll-margin-top: 50vh;
}
.footnote-reference:target {
    scroll-margin-top: 50vh;
}
/* Draws a border around the footnote (including the marker) when it is selected.
   TODO: If there are multiple linkbacks, highlight which one you just came
   from so you know which one to click.
*/
.footnote-definition > li:target::before {
    border: 2px solid var(--footnote-highlight);
    border-radius: 6px;
    position: absolute;
    top: -8px;
    right: -8px;
    bottom: -8px;
    left: -32px;
    pointer-events: none;
    content: "";
}
/* Pulses the footnote reference so you can quickly see where you left off reading.
   This could use some improvement.
*/
@media not (prefers-reduced-motion) {
    .footnote-reference:target {
        animation: fn-highlight 0.8s;
        border-radius: 2px;
    }

    @keyframes fn-highlight {
        from {
            background-color: var(--footnote-highlight);
        }
    }
}

.tooltiptext {
    position: absolute;
    visibility: hidden;
    color: #fff;
    background-color: #333;
    transform: translateX(
        -50%
    ); /* Center by moving tooltip 50% of its width left */
    left: -8px; /* Half of the width of the icon */
    top: -35px;
    font-size: 0.8em;
    text-align: center;
    border-radius: 6px;
    padding: 5px 8px;
    margin: 5px;
    z-index: 1000;
}
.tooltipped .tooltiptext {
    visibility: visible;
}

.chapter li.part-title {
    color: var(--sidebar-fg);
    margin: 5px 0px;
    font-weight: bold;
}

.result-no-output {
    font-style: italic;
}

/* Theorem, Proof, Corollary, and Definition environments */
.theorem {
    margin: 20px 0;
    padding: 15px 20px;
    background-color: var(--bg);
    border-left: 4px solid var(--env-theorem);
}

.theorem-title {
    font-family: "Title", sans-serif;
    font-weight: 600;
    margin-bottom: 10px;
    color: var(--fg);
}

.theorem-content {
    margin: 0;
    line-height: 1.6;
}

.lemma {
    margin: 20px 0;
    padding: 15px 20px;
    background-color: var(--bg);
    border-left: 4px solid var(--env-lemma);
}

.lemma-title {
    font-family: "Title", sans-serif;
    font-weight: 600;
    margin-bottom: 10px;
    color: var(--fg);
}

.lemma-content {
    margin: 0;
    line-height: 1.6;
}

.proof {
    margin: 20px 0;
    padding: 15px 20px;
    background-color: var(--bg);
    border-left: 4px solid var(--env-proof);
    position: relative;
}

.proof-title {
    font-family: "Title", sans-serif;
    font-weight: 600;
    margin-bottom: 10px;
    font-style: italic;
}

.proof-content {
    margin: 0;
    line-height: 1.6;
}

.proof-end {
    text-align: right;
    margin-top: 10px;
    font-size: 1.2em;
    font-weight: bold;
}

.corollary {
    margin: 20px 0;
    padding: 15px 20px;
    background-color: var(--bg);
    border-left: 4px solid var(--env-corollary);
}

.corollary-title {
    font-family: "Title", sans-serif;
    font-weight: 600;
    margin-bottom: 10px;
    color: var(--fg);
}

.corollary-content {
    margin: 0;
    line-height: 1.6;
}

.definition {
    margin: 20px 0;
    padding: 10px 20px;
    background-color: var(--bg);
    border-left: 4px solid var(--env-definition);
}

.definition-title {
    font-family: "Title", sans-serif;
    font-weight: 600;
    margin-bottom: 10px;
    color: var(--fg);
}

.definition-content {
    margin: 0;
    line-height: 1.6;
}
.reduction {
    margin: 20px 0;
    padding: 15px 20px;
    background-color: var(--bg);
    border-left: 4px solid var(--env-reduction);
    border-radius: 4px;
}
.reduction-title {
    font-family: "Title", sans-serif;
    font-weight: 600;
    margin-bottom: 10px;
    color: var(--fg);
}
.reduction-content {
    margin: 0;
    line-height: 1.6;
}

.example {
    margin: 20px 0;
    padding: 15px 20px;
    background-color: var(--bg);
    border-left: 4px solid var(--env-example);
}

.example-title {
    font-family: "Title", sans-serif;
    font-weight: 600;
    margin-bottom: 10px;
    color: var(--fg);
}

.example-content {
    margin: 0;
    line-height: 1.6;
}

.exercise {
    margin: 20px 0;
    padding: 15px 20px;
    background-color: var(--bg);
    border-left: 4px solid var(--env-exercise);
}

.exercise-title {
    font-family: "Title", sans-serif;
    font-weight: 600;
    margin-bottom: 10px;
    color: var(--fg);
}

.exercise-content {
    margin: 0;
    line-height: 1.6;
}

/* Theorem, Lemma, Proof, Corollary, Definition, Reduction, Example, and Exercise link styles */
.theorem-link,
.lemma-link,
.proof-link,
.corollary-link,
.definition-link,
.reduction-link,
.example-link,
.exercise-link {
    color: var(--fg) !important;
    text-decoration: none !important;
}

.theorem-link:visited,
.lemma-link:visited,
.proof-link:visited,
.corollary-link:visited,
.definition-link:visited,
.reduction-link:visited,
.example-link:visited,
.exercise-link:visited {
    color: var(--fg) !important;
    text-decoration: none !important;
}

.theorem-link:hover,
.lemma-link:hover,
.proof-link:hover,
.corollary-link:hover,
.definition-link:hover,
.reduction-link:hover,
.example-link:hover,
.exercise-link:hover {
    color: var(--fg) !important;
    text-decoration: none !important;
}

.theorem-link:active,
.lemma-link:active,
.proof-link:active,
.corollary-link:active,
.definition-link:active,
.reduction-link:active,
.example-link:active,
.exercise-link:active {
    color: var(--fg) !important;
    text-decoration: none !important;
}

.theorem-link:focus,
.lemma-link:focus,
.proof-link:focus,
.corollary-link:focus,
.definition-link:focus,
.reduction-link:focus,
.example-link:focus,
.exercise-link:focus {
    color: var(--fg) !important;
    text-decoration: none !important;
    outline: none;
}

/* Add link icon on hover like regular headers */
.theorem-title:hover::after,
.lemma-title:hover::after,
.proof-title:hover::after,
.corollary-title:hover::after,
.definition-title:hover::after,
.reduction-title:hover::after,
.example-title:hover::after,
.exercise-title:hover::after {
    content: "🔗";
    margin-left: 5px;
    opacity: 0.6;
    font-size: 0.8em;
}

/* Remove underline from specific link types within content that shouldn't have it */
.content .header:link,
.content .header:visited,
.content .theorem-link,
.content .lemma-link,
.content .proof-link,
.content .corollary-link,
.content .definition-link,
.content .reduction-link,
.content .example-link,
.content .exercise-link,
.content .footnote-reference,
.content .footnote-backref {
    border-bottom: none;
}

/* Ensure theorem/proof/etc titles don't get red-brown underline */
.content .theorem-title a,
.content .theorem-title a:link,
.content .theorem-title a:visited,
.content .lemma-title a,
.content .lemma-title a:link,
.content .lemma-title a:visited,
.content .proof-title a,
.content .proof-title a:link,
.content .proof-title a:visited,
.content .corollary-title a,
.content .corollary-title a:link,
.content .corollary-title a:visited,
.content .definition-title a,
.content .definition-title a:link,
.content .definition-title a:visited,
.content .reduction-title a,
.content .reduction-title a:link,
.content .reduction-title a:visited,
.example-title a,
.content .example-title a:link,
.content .example-title a:visited,
.content .exercise-title a,
.content .exercise-title a:link,
.content .exercise-title a:visited {
    border-bottom: none;
}

/* Print styles - make links appear as normal text */
@media print {
    .content a {
        color: inherit;
        text-decoration: none;
        border-bottom: none;
    }
}

/* SVG graph styling for light/dark themes */
.content img[src$=".svg"] {
    /* Light theme - default colors work well */
    width: 100%;
    height: auto;
}

/* Dark theme adjustments for SVG graphs */
.coal img[src$=".svg"],
.navy img[src$=".svg"],
.ayu img[src$=".svg"] {
    filter: invert(0.9) hue-rotate(180deg);
}

/* Rust theme has light background, no inversion needed */
.rust img[src$=".svg"] {
    filter: none;
}

/* Light theme has light background, no inversion needed */
.light img[src$=".svg"] {
    filter: none;
}

/* For browsers that support CSS filters on specific elements in SVG */
@media (prefers-color-scheme: dark) {
    html:not(.js) img[src$=".svg"] {
        filter: invert(0.9) hue-rotate(180deg);
    }
}