/* 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: "Jost", "Noto Sans Japanese", 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;
}

h2,
h3 {
  margin-block-start: 2.5em;
}
h4,
h5 {
  margin-block-start: 2em;
}

.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 {
  text-decoration: none;
}
.content a:hover {
  text-decoration: underline;
}
.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);
}

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;
}

.alert {
  padding: 0.5rem 1rem;
  margin-bottom: 1rem;
  color: inherit;
  border-left: 0.25em solid #3d444d;
}

.alert > :first-child {
  margin-top: 0;
}

.alert > :last-child {
  margin-bottom: 0;
}

.alert.title {
  border-left: none;
  display: flex;
  font-weight: 500;
  align-items: center;
  line-height: 1;
}

.alert.info,
.alert.conjecture,
.alert.criterion,
.alert.condition,
.alert.problem,
.alert.question,
.alert.assumption,
.alert.hypothesis,
.alert.claim {
  border-left-color: #1f6feb;
}

.alert.info.title,
.alert.conjecture.title,
.alert.criterion.title,
.alert.condition.title,
.alert.problem.title,
.alert.question.title,
.alert.assumption.title,
.alert.hypothesis.title,
.alert.claim.title {
  color: #4493f8;
}

.alert.important,
.alert.lemma,
.alert.proposition {
  border-left-color: #8957e5;
}

.alert.important.title,
.alert.lemma.title,
.alert.proposition.title {
  color: #ab7df8;
}

.alert.warning,
.alert.definition,
.alert.axiom,
.alert.notation {
  border-left-color: #9e6a03;
}

.alert.warning.title,
.alert.definition.title,
.alert.axiom.title,
.alert.notation.title {
  color: #d29922;
}

.alert.tip,
.alert.theorem,
.alert.corollary,
.alert.assertion,
.alert.algorithm,
.alert.property,
.alert.summary,
.alert.conclusion {
  border-left-color: #238636;
}

.alert.tip.title,
.alert.theorem.title,
.alert.corollary.title,
.alert.assertion.title,
.alert.algorithm.title,
.alert.property.title,
.alert.summary.title,
.alert.conclusion.title {
  color: #3fb950;
}

.alert.caution,
.alert.remark,
.alert.note {
  border-left-color: #da3633;
}

.alert.caution.title,
.alert.remark.title,
.alert.note.title {
  color: #f85149;
}

.alert.proof {
}

.alert.proof.title {
}