:root {
  --carousel-max-width: 1050px;
  --carousel-indicator-gap: 4px;
  --carousel-indicator-box-size: 14px;
  --carousel-indicator-dot-size: 7.5px;
  --progress-counter-font-size: 0.9em;
  --max-carousel-indicators-per-line: 30;
  --body-background-color: rgba(248, 244, 253, 1);
  --page-title-border-min-width: 40px;
  --line-height: 1.8rem;
 
  /*********************************/
  /* resetScreenWidthDependentVars */
  /*********************************/
  --top-menu-font-size: 1em;
  --top-menu-position: fixed;
  --rem-font-size: 16px;
  --inhalts-arrows-display: none;
  --top-menu-padding-x: 2rem;
  --top-menu-padding-y: 1.4rem;
  --top-menu-background-color: #0000;
  --top-menu-element-gap: 0.55rem;
  --bottom-menu-hr-display: "none";
  --bottom-menu-hr-margin-top: 1.6rem;
  --bottom-menu-hr-margin-bottom: 1.4rem;
  --bottom-menu-display: none;
  --bottom-menu-position: absolute;
  --bottom-menu-padding-x: 0px;
  --bottom-menu-padding-y: 0px;
  --bottom-menu-left: 0px;
  --bottom-menu-margin: "";
  --index-header-title-font-size: 2.25rem;
  --index-header-title-line-height: 2.8rem;
  --index-header-subtitle-font-size: 1.5rem;
  --index-header-padding-top: 90px;
  --index-header-padding-bottom: 4rem;
  --index-toc-max-width: 580px;
  --index-toc-padding-bottom: 3rem;
  --index-toc-chapter-level-margin: 0.5em;
  --index-toc-subchapter-level-margin: 0.15em;
  --end-of-page-main-column-margin-bottom: 2.4rem;
  --end-of-page-well-margin-bottom: 0.2rem;
  --end-of-page-elt-padding-bottom: 0rem;
  --main-column-width: 1050px;
  --main-column-padding-x: 2rem;
  --main-column-to-well-margin: 1.8rem;
  --outer-well-width: 922px;
  --page-title-font-size: 2.25rem;
  --page-title-padding-top: 3.6rem;
  --topic-announcement-font-size: 1.75rem;
  --subtopic-announcement-font-size: 1.5rem;
  --well-margin-y: 2rem;
  --last-child-well-margin-bottom: 0.5rem;
  --well-padding-y: 2rem;
  --well-padding-x: 1.6rem;
  --ul-ol-margin-left: 2rem;
  --ul-ol-margin-right: 2rem;
  --nested-ul-ol-margin-left: 2rem;
  --nested-ul-ol-margin-right: 2rem;
  --textfigure-padding-x: 6rem;

  /*****************************/
  /* modified by 'author mode' */
  /*****************************/
  --p-hasmathjax-overflow-x: scroll;
  --p-hasmathjax-overflow-y: clip;
  --pre-overflow-x: scroll;

  /********************************/
  /* light mode code block colors */
  /********************************/
  --pre-background-color: #fdfdfd;
  --pre-border: 0.5px solid black;
  --pre-text: #506269;
  --terminal-prompt: #586e75;
  --terminal-prompt-content: #073642;
  --arbitrary-prompt: #268bd2;
  --arbitrary-prompt-reponse: #2aa198;
  --python-prompt-carets: rgb(254, 56, 234);
  --python-prompt-content: #657b83;
  --python-prompt-ok-response: #2aa198;
  --python-prompt-error-response: rgb(226, 66, 66);
  --listing-numbers: rgb(174, 174, 174);
  --xml-tag-endings: #b58900;
  --xml-tag-names: #b58900;
  --xml-attribute-keys: #f78080;
  --xml-attribute-values: #6c71c4;
  --xml-equals-sign: #913d3d;
  --elm-punctuation: #dc322f;
  --elm-defined-symbol: #268bd2;
  --elm-type: #b58900;
  --elm-variable: #657b83;
  --elm-keyword: #cb4b16;
  --elm-function: #2aa198;
  --elm-relation: #d33682;
  --elm-par: #b58900;

  /*******************************/
  /* dark mode code block colors */
  /*******************************/
  
  /* --pre-background-color: #000;
  --pre-text: #fff;
  --terminal-prompt: rgb(219, 220, 218);
  --terminal-prompt-content: rgb(191, 241, 141);
  --arbitrary-prompt: rgb(120, 120, 255);
  --arbitrary-prompt-reponse: rgb(255, 173, 251);
  --python-prompt-carets: rgb(244, 154, 235);
  --python-prompt-content: rgb(255, 255, 255);
  --python-prompt-ok-response: rgb(48, 255, 120);
  --python-prompt-error-response: rgb(255, 142, 142);
  --listing-numbers: rgb(220, 220, 220);
  --xml-tag-endings: rgb(220, 200, 180);
  --xml-tag-names: rgb(220, 200, 180);
  --xml-attribute-keys: #f78080;
  --xml-attribute-values: #9a83e0;
  --xml-equals-sign: #913d3d;
  --elm-punctuation: #da7167ff;
  --elm-defined-symbol: #abb66fff;
  --elm-type: #cfa763ff;
  --elm-variable: #e6dab5ff;
  --elm-keyword: #da7167ff;
  --elm-function: #e6dab5ff;
  --elm-relation: #d58b58ff;
  --elm-par: #cfa763ff; */
}

* {
  padding: 0;
  margin: 0;
  box-sizing: border-box;
}

html {
  font-family: pt-sans-pro, "Trebuchet MS", "Helvetica Neue", Helvetica, sans-serif; 
  /*font-family: 'Times New Roman', Times, serif;*/
  font-size: var(--rem-font-size);
  -moz-text-size-adjust: none;
  -webkit-text-size-adjust: none;
  -ms-text-size-adjust: none;
  text-size-adjust: none;
}

body {
  /* see also: https://codepen.io/chrislachance/pen/OJpmgrM */
  /* https://github.com/twbs/bootstrap/issues/34107 */
  -moz-text-size-adjust: none;
  -webkit-text-size-adjust: none;
  -ms-text-size-adjust: none;
  text-size-adjust: none;
  background-color: var(--body-background-color);
  font-size: 1.25rem;
  min-width: 2500px;
  color: #333;
  visibility: hidden;
}

#body-wrapper {
  position: relative;
  width: 100%;
  height: 100%;
}

.page-title {
  width: inherit;
  display: grid;
  grid-template-columns:
    minmax(var(--page-title-border-min-width), 1fr)
    auto minmax(var(--page-title-border-min-width), 1fr);
  align-items: center;
  text-align: center;
  gap: 2rem;
  font-size: var(--page-title-font-size);
  padding-top: var(--page-title-padding-top);
  margin-bottom: 1em;
  overflow: visible;
  z-index: 3;
}

.page-title p {
  line-height: 2.6rem;
}

.page-title::before,
.page-title::after {
  content: "";
  border-top: 6px double;
}

.page-title.no-borders::before,
.page-title.no-borders::after {
  content: none;
  border-top: none;
}

.main-column {
  max-width: var(--main-column-width);
  padding-left: var(--main-column-padding-x);
  padding-right: var(--main-column-padding-x);
  width: 100%;
  margin-left: auto;
  margin-right: auto;
}

.well {
  width: 100%;
  margin: var(--well-margin-y) auto;
  padding: var(--well-padding-y) var(--well-padding-x);
  border-radius: 12px;
  overflow: visible;
}

.well.out {
  width: var(--outer-well-width);
}

.main-column + .well,
.well + .main-column {
  margin-top: var(--main-column-to-well-margin);
}

.well > .well:last-child {
  margin-bottom: var(--last-child-well-margin-bottom);
}

.main-column:has(+ #end-of-page-elt) {
  margin-bottom: var(--end-of-page-main-column-margin-bottom);
}

.well:has(+ #end-of-page-elt) {
  margin-bottom: var(--end-of-page-well-margin-bottom);
}

.well:has(+ #end-of-page-elt + #bottom-menu-hr) {
  margin-bottom: calc(var(--end-of-page-well-margin-bottom) + 0.3rem);
}

#end-of-page-elt {
  height: 1px;
  width: 100%;
  margin-top: 0;
  padding-bottom: var(--end-of-page-elt-padding-bottom);
}

ul,
ol {
  list-style-position: outside;
  padding-left: 0.5rem;
  margin-left: var(--nested-ul-ol-margin-left);
  margin-right: var(--nested-ul-ol-margin-right);
}

ul:not(li > ul),
ol:not(li > ol) {
  margin-top: 0.7em;
  margin-bottom: 0.7em;
  margin-left: var(--ul-ol-margin-left);
  margin-right: var(--ul-ol-margin-right);
}

li {
  margin: 0.2em 0;
}

li > p:first-child {
  display: inline;
}

pre {
  line-height: 1.6;
  color: var(--pre-text);
  border: var(--pre-border);
  background-color: var(--pre-background-color);
  font-size: 0.9rem;
  white-space: pre-wrap;
  width: 100%;
  margin: 2ch auto;
  padding: 1.3rem 1.5rem;
  overflow-x: var(--pre-overflow-x);
  overflow-y: visible;
  text-wrap: nowrap;
}

p {
  line-height: var(--line-height);
  overflow: visible;
}

p:has(> mjx-container) {
  /* these are variables because in 'author mode'
     we override them to 'visible' in order for 
     tooltips to show (see app.js) */
  overflow-x: var(--p-hasmathjax-overflow-x);
  overflow-y: var(--p-hasmathjax-overflow-y);
}

p:has(> mjx-container)::-webkit-scrollbar {
  display: none;
}

.statement,
.remark {
  background-color: rgb(216, 237, 225);
}

.highlight {
  background-color: rgb(250, 240, 219);
}

.highlight .statement,
.statement .statement,
.highlight > .highlight {
  background-color: #f0ffff;
}

.highlight .highlight .statement,
.highlight .highlight .remark,
.highlight .highlight .highlight {
  background-color: #d9edf7;
}

.exercise {
  background-color: #e8e4d6;
}

.remark {
  background-color: #f0ffff;
}

.alert-info {
  background-color: #d9edf7;
}

.alert-warning {
  background-color: #fce1be;
}

.qed {
  float: right;
}

p:has(> span.qed):not(:has(> *:not(span.qed))):last-child {
  padding: 0.6rem 0;
}

.nowrap {
  white-space: nowrap;
}

.index {
  margin-top: 2rem;
}

.index__header {
  max-width: calc(100vw - 2rem);
  margin: 0 auto;
  text-align: center;
  padding-top: var(--index-header-padding-top);
  padding-bottom: var(--index-header-padding-bottom);
}

.index__header__title {
  font-size: var(--index-header-title-font-size);
  line-height: var(--index-header-title-line-height);
  font-weight: normal;
}

.index__header__subtitle {
  padding-top: 0.5rem;
  font-size: var(--index-header-subtitle-font-size);
  line-height: 1.5;
  display: block;
  margin: auto;
}

.index__toc {
  max-width: var(--index-toc-max-width);
  line-height: 1.8rem;
  padding-bottom: var(--index-toc-padding-bottom);
  padding-left: 0;
  margin: 0 auto;
}

.index__toc a {
  color: #337ab7;
  text-decoration: none;
}

.index__toc ol {
  list-style-type: none;
  counter-reset: item;
  margin: 0;
  padding: 0;
}

.index__toc li {
  display: table;
  counter-increment: item;
  margin-bottom: var(--index-toc-chapter-level-margin);
}

.index__toc li:before {
  display: table-cell;
  content: counters(item, ".") ". ";
  padding-right: 0.4em;
}

.index__toc li li {
  margin: var(--index-toc-subchapter-level-margin) 0 0em;
}

.index__toc li li:before {
  content: counters(item, ".") " ";
  padding-right: 0.5em;
}

#top-menu.menu--hidden {
  top: -100px;
}

#top-menu {
  display: flex;
  position: var(--top-menu-position);
  top: 0;
  left: var(--top-menu-left);
  z-index: 2;
  width: 100vw;
  transition: top 0.5s ease-in-out;
  will-change: top;
  padding: var(--top-menu-padding-y) var(--top-menu-padding-x)
  calc(var(--top-menu-padding-y) * 0.8);
  background-color: var(--top-menu-background-color);
  flex-direction: column;
  gap: var(--top-menu-element-gap);
  font-size: var(--top-menu-font-size);
  pointer-events: none;
}

.menu-row {
  width: 100%;
  display: flex;
  flex-direction: row;
  justify-content: space-between;
}

.menu-row-right {
  text-align: right;
}

#bottom-menu a,
#top-menu a {
  color: #222;
  position: relative;
  pointer-events: auto;
}

#bottom-prev-page-tooltip,
#bottom-next-page-tooltip,
#top-prev-page-tooltip,
#top-next-page-tooltip {
  white-space: nowrap;
  position: absolute;
  background-color: rgb(255, 188, 246);
  border: 1.4px solid black;
  border-radius: 0.05em;
  font-size: 0.7em;
  padding: 0.15em 0.45em;
  line-height: 1;
}

#top-prev-page-tooltip,
#top-next-page-tooltip {
  top: 1.9em;
}

#top-prev-page-tooltip {
  left: 0%;
}

#top-next-page-tooltip {
  right: 0%;
}

#bottom-menu-hr {
  margin: var(--bottom-menu-hr-margin-top) auto
    var(--bottom-menu-hr-margin-bottom);
  display: var(--bottom-menu-hr-display);
  border-color: black;
  border-width: 0px;
  border-top-width: 1px;
  border-style: solid;
  width: calc(100vw - 2 * var(--main-column-padding-x));
}

#bottom-menu {
  display: var(--bottom-menu-display);
  position: var(--bottom-menu-position);
  padding: var(--bottom-menu-padding-y) var(--bottom-menu-padding-x);
  justify-content: space-between;
  bottom: 0px;
  width: 100vw;
  left: var(--bottom-menu-left);
  margin: var(--bottom-menu-margin);
  pointer-events: none;
}

#bottom-menu a {
  line-height: var(--line-height);
}

#bottom-menu-left,
#bottom-menu-right {
  display: flex;
  flex-direction: column;
}

#bottom-menu-right {
  text-align: right;
}

#bottom-prev-page-tooltip,
#bottom-next-page-tooltip {
  bottom: 1.95em;
}

#bottom-prev-page-tooltip {
  left: 0%;
}

#bottom-next-page-tooltip {
  right: 0%;
}

.arbitrary-prompt {
  color: var(--arbitrary-prompt);
}

.arbitrary-response {
  color: var(--arbitrary-prompt-reponse);
}

.terminal-prompt {
  font-family: Courier, "Courier New";
  color: var(--terminal-prompt);
  font-size: 1em;
}

.terminal-prompt-content {
  font-family: Courier, "Courier New";
  color: var(--terminal-prompt-content);
  font-size: 1em;
}

.python-prompt-carets {
  color: var(--python-prompt-carets);
}

.python-prompt-content {
  color: var(--python-prompt-content);
}

.python-prompt-ok-response {
  color: var(--python-prompt-ok-response);
}

.python-prompt-error-response {
  color: var(--python-prompt-error-response);
}

pre.listing:before {
  counter-reset: listing;
}

pre.listing > span.listing-bol {
  counter-increment: listing;
}

pre.listing > span.listing-bol::before {
  color: var(--listing-numbers);
  content: counter(listing) ". ";
  min-width: 4ch;
  display: inline-block;
  text-align: right;
}

.red {
  color:red;
}

pre.redyellow {
  color: red;
  background-color: yellow;
}

pre.listing.redyellow > span.listing-bol::before {
  color: #777;
}

.terminalOutput {
  color: blue;
}

.actual-orange-comment {
  color: darkorange;
  font-style: italic;
  display: inline;
}

.pseudowell {
  width: calc(100vw - 2 * var(--main-column-padding-x));
  margin: 0 auto;
  background-color: inherit;
  display: flex;
  justify-content: center;
}

.pseudowell:has(.math-block>.t-3003) {
  width: var(--main-column-width);
}

.group__container {
  display: flex;
  justify-content: center;
  background-color: inherit;
}

.group {
  position: relative;
  margin: 0 auto;
  background-color: inherit;
  padding-bottom: 0.5rem;
}

.group_placeholder {
  width: 10px;
  opacity: 20%;
  height: 10px;
}

.group_scaler {
  position: absolute;
  top: 0;
  left: 50%;
  display: flex;
  gap: 1.5em;
  justify-content: center;
  align-items: end;
  transform-origin: 50% 0%;
  transform: translate(-50%);
  background-color: inherit;
  box-sizing: content-box;
  border-top-width: 16px;
  border-bottom-width: 16px;
  border-style: solid;
  border-color: transparent;
}

.group.top-align .group_scaler {
  align-items: start;
}

.group_placeholder_transition_ahead {
  will-change: height;
  transition-property: height;
  transition-timing-function: cubic-bezier(0.4, 0, 0.0, 1);
  transition-duration: 450ms;
}

.group_placeholder_transition_behind {
  will-change: height;
  transition-property: height;
  transition-timing-function: cubic-bezier(0.4, 0, 0.2, 1);
  transition-duration: 500ms;
}

.group_scaler_transition {
  will-change: transform;
  transition-property: transform;
  transition-timing-function: cubic-bezier(0.4, 0, 0.2, 1);
  transition-duration: 500ms;
}

.figure__container {
  display: flex;
  justify-content: center;
  background-color: inherit;
}

figure {
  background-color: inherit;
  display: flex;
  margin: 1rem auto;
  overflow: visible;
  justify-content: center;
  width: fit-content;
  flex-direction: column;
  position: relative;
  /* not trusting Chrome's user agent stylesheet: */
  margin-block-start: 0;
  margin-block-end: 0;
  margin-inline-start: 0;
  margin-inline-end: 0;
}

figure:has(.topcaption) {
  flex-direction: column-reverse;
}

.group_scaler figure,
.group_scaler .carousel__container {
  margin: 0 auto;
}

figure img,
.carousel__item img {
  margin: 0 auto; /* has helped measure originalWidth, originalHeight */
  background-color: inherit;
  box-sizing: content-box;
  border-top-width: 16px;
  border-bottom-width: 16px;
  border-style: solid;
  border-color: transparent;
}

.pseudowell figure img,
.pseudowell .carousel__item img,
.pseudowell .group_scaler {
  border-left-width: 0;
  border-right-width: 0;
}

.well figure img.constrained,
.well .carousel__item img.constrained,
.well .group.constrained .group_scaler {
  border-left-width: min(var(--well-padding-x), 16px);
  border-right-width: min(var(--well-padding-x), 16px);
}

.well figure img.unconstrained,
.well .carousel__item img,
.well .group.unconstrained .group_scaler {
  border-left-width: 16px;
  border-right-width: 16px;
}

figcaption {
  max-width: min(400px, 90%, calc(var(--main-column-width) * 0.7));
  margin: auto;
  margin-top: 0.5em;
  padding-bottom: 1rem;
  text-align: center;
}

.group figcaption {
  padding-bottom: 0;
}

figcaption.topcaption {
  padding-bottom: 0.5rem;
  margin-top: 1.25rem;
}

.group figcaption.topcaption {
  margin-top:  1rem;
}

.zoom-transition {
  will-change: width, border-width;
  transition-property: width, border-width;
  transition-timing-function: cubic-bezier(0.4, 0, 0.2, 1);
  transition-duration: 500ms;
}

/** begin of carousel **/ /* (see more 'carousel__item img' styles above) */
.carousel__container {
  background-color: inherit;
  width: 100%;
  margin: 1rem auto 1.5rem;
}

.carousel {
  width: inherit;
  background-color: inherit;
  display: flex;
  justify-content: center;
  align-items: center;
}

.carousel__items {
  width: fit-content;
  background-color: inherit;
  display: flex;
  flex-direction: column;
  justify-content: center;
}

.carousel__item {
  width: fit-content;
  background-color: inherit;
  margin: 0 auto;
  justify-content: center;
  overflow: visible;
  position: relative;
}

/* begin of constrained nav */
.carousel__constrained-nav {
  display: flex;
  justify-content: space-evenly;
  align-items: center;
  max-width: min(530px, 85vw);
  margin: 0 auto;
}

.carousel__constrained-progress-counter {
  width: 2.9em;
  text-align: center;
  font-size: var(--progress-counter-font-size);
  user-select: none;
  -webkit-user-select: none;
  -moz-user-select: none;
  -ms-user-select: none;
  transform: translate(0em, 0.05em);
  margin-left: -1em;
  margin-right: -1em;
}

.carousel__constrained-progress-counter > span {
  display: inline-block;
}

.carousel__constrained-progress-counter > span:first-child,
.carousel__constrained-progress-counter > span:last-child {
  width: 1.3em;
}

.carousel__constrained-progress-counter > span:first-child {
  text-align: right;
  padding-right: 0.15em;
}

.carousel__constrained-progress-counter > span:last-child {
  text-align: left;
  padding-left: 0.15em;
}
/* end of constrained nav */

/* begin of unconstrained nav (indicators) */
.carousel__indicators {
  max-width: min(
    calc(
      (var(--carousel-indicator-box-size) + var(--carousel-indicator-gap)) * var(--max-carousel-indicators-per-line)
    ),
    75%
  );
  display: flex;
  flex-wrap: wrap;
  gap: 0px var(--carousel-indicator-gap);
  justify-content: center;
  margin-top: 4px;
  padding: 0;
  margin: 1rem auto;
}

.group .carousel__indicators {
  margin: 1rem auto 0;
}

.carousel__indicator_box {
  width: var(--carousel-indicator-box-size);
  height: var(--carousel-indicator-box-size);
  background-color: #0000;
  cursor: pointer;
  border: none;
}

.carousel__indicator_dot {
  width: var(--carousel-indicator-dot-size);
  height: var(--carousel-indicator-dot-size);
  background-color: #d3d3d3ff;
  border-radius: 50%;
  margin: auto;
}

.carousel__indicator_dot.active {
  background-color: #333;
  transform: scale(1.35);
}
/* end of unconstrained nav */

/* begin of resuable components for both constrained & unconstrained nav */
.carousel__nav-button {
  flex-shrink: 0;
  border: none;
  background-color: #0000;
  cursor: pointer;
  display: flex;
}
/* end of resuable components for both constrained & unconstrained nav */
/** end of carousel **/

/* the 2nd selector is there b/c of specificity wars: */
.topic-announcement,
.well + .topic-announcement.main-column {
  font-size: var(--topic-announcement-font-size);
  margin: 0 auto;
  margin-top: 0.85em;
  margin-bottom: 0.5em;
  font-weight: normal;
}

/* the 2nd selector is there b/c of specificity wars: */
.subtopic-announcement,
.well + .subtopic-announcement.main-column {
  font-size: var(--subtopic-announcement-font-size);
  margin: 0 auto;
  margin-top: 0.75em;
  margin-bottom: 0.5em;
  font-weight: normal;
}

p + p {
  margin-top: 0.8rem;
}
p + h1,
p + h2 {
  margin-top: 0.8rem;
}

code {
  font-size: 0.85em;
}

a {
  color: #337ab7;
  text-decoration: none;
}

a:hover {
  text-decoration: underline;
}

hr {
  border: solid 0.5px black;
  margin-top: 1em;
  margin-bottom: 1em;
}

button img {
  -webkit-user-select: none; /* prevent selection */
  -webkit-touch-callout: none; /* prevent long-press callout */
  -webkit-user-drag: none; /* prevent dragging the image */
  user-select: none;
}

.math-block {
  position: relative;
  display: block;
  width: fit-content;
  max-width: 100%;
  margin: 0 auto;
  overflow-x: scroll;
  overflow-y: clip;
}

.math-block::-webkit-scrollbar {
  display: none;
}

mjx-container {
  width: fit-content;
}

.circle-X-img {
  height: 1.4em;
  display: inline-block;
  vertical-align: middle;
}

.display {
  padding: 1em 2em;
  text-align: center;
  margin: auto;
}

.xml-0 {
  /* '<' '/>' etc */
  color: var(--xml-tag-endings);
}

.xml-1 {
  color: var(--xml-tag-names);
}

.xml-2 {
  color: var(--xml-attribute-keys);
}

.xml-3 {
  color: var(--xml-equals-sign);
}

.xml-4 {
  /* attribute values including the quotes */
  color: var(--xml-attribute-values);
}

.xml-5 {
  /* text */
  color: #333;
}

.xml-6 {
  /* comments */
  color: #70b470;
}

.elm-0 {
  color: var(--elm-punctuation);
}

.elm-1 {
  color: var(--elm-defined-symbol);
}

.elm-2 {
  color: var(--elm-type);
}

.elm-3 {
  color: var(--elm-variable);
}

.elm-4 {
  color: var(--elm-keyword);
}

.elm-5 {
  color: var(--elm-function);
}

.elm-6 {
  color: var(--elm-relation);
}

.elm-7 {
  color: var(--elm-par);
}

.sc {
  font-variant: small-caps;
}

.codelink {
  font-family: "Courier New", Courier, monospace;
  font-weight: 500;
}

.textfigure {
  width: var(--main-column-width);
  padding: 1.5rem var(--textfigure-padding-x);
  text-align: center;
}

.checkered {
  /* https://codepen.io/mootari/pen/yLBoqdO */
  --color: #9995;
  --gradient: linear-gradient(
    to top left,
    var(--color) 25.1%,
    transparent 0,
    transparent 74.9%,
    var(--color) 0
  );
  --width: 40px;
  --height: 40px;
  background:
    var(--gradient) 0% 0% / var(--width) var(--height),
    var(--gradient) calc(var(--width) / 2 + 0%) calc(var(--height) / 2 + 0%) /
      var(--width) var(--height);
  background-clip: content-box;
}

.inhalts_arrows {
  display: var(--inhalts-arrows-display);
}

/* author-mode source tooltips */

.t-3003-c {
  position: relative;
  overflow: visible;
}

.t-3003-c:hover,
.t-3003-c:has(.t-3003:hover) {
  background-color: #bfb;
  padding: 5px;
  margin: -5px;
  border-radius: 10px;
}

.t-3003 {
  font-family: Arial, sans-serif;
  font-style: normal;
  font-variant: normal;
  font-weight: normal;
  line-height: 1.6;
  font-size: 12px;
  display: none;
  position: absolute;
  top: -3.85em;
  left: 50%;
  transform: translateX(-50%);
  background-color: #333;
  color: white;
  padding: 10px 15px;
  border-radius: 6px;
  width: auto;
  white-space: nowrap;
  text-align: center;
  opacity: 0;
  transition: opacity 0.3s;
  color: #4fc3f7;
  text-decoration: none;
  cursor: pointer;
  z-index: 3;
}

.t-3003::after {
  content: "";
  position: absolute;
  top: 100%;
  left: 50%;
  margin-left: -5px;
  border-width: 5px;
  border-style: solid;
  border-color: #333 transparent transparent transparent;
}

.t-3003::before {
  content: "";
  position: absolute;
  bottom: -20px; /* Adjust based on distance to trigger text */
  left: 0;
  width: 100%;
  height: 20px; /* Height of the bridge */
  background-color: transparent; /* Invisible */
}

.t-3003:hover {
  text-decoration: underline;
}

.t-3003:hover:has(.t-3003-i-url) {
  text-decoration: none;
}

.t-3003-i-url:hover {
    text-decoration: underline;
}

.t-3003-c:hover .t-3003 {
  display: block;
  opacity: 1;
}

figure:hover>.t-3003,
.carousel__item:hover>.t-3003 {
  display: block;
  opacity: 1;
}

figure:hover:has(>.t-3003) img,
.carousel__item:hover:has(>.t-3003) img {
  background-color: #bfb;
}

.math-block:hover > .t-3003 {
  display: block;
  opacity: 1;
  position: absolute;
  left: 50%;
  top: -3.5em;
}

.math-block:hover:has(>.t-3003) {
  background-color: #bfb;
  overflow: visible;
}