/* Longer top comment! */
body {
  font-family: "Computer Modern Sans", sans-serif;
}

a.disabled {
  /* Make the disabled links grayish */
  color: gray;
  /* And disable the pointer events */
  pointer-events: none;
}

.alg {
  font-variant-caps: small-caps !important;
}

.aside-80 aside {
  font-size: 1.3rem !important;
}

.blockquote-90 blockquote {
  font-size: 90% !important;
}

.border-all td {
  border: 1px solid black !important;
}

.boxed {
  border: 3px solid black !important;
  padding: 2px !important;
}

/* div.callout-note > .callout-header {
  background-color: #f8f8f8 !important;
}
.callout-grey .callout.callout-style-default {
  border: 1px solid #dee2e6 !important;
} */

.caption {
  text-align: center;
}

.cb1 {
  /* #E69F00 */
  color: rgb(230, 159, 0) !important;
}
.cb1-bg {
    background-color: rgb(230, 159, 0) !important;
}
.cb1a-bg {
  background-color: rgba(230, 159, 0, 0.333) !important;
  text-align: center !important;
}
.cb2 {
  /* #56B4E9 */
  color: rgb(86, 180, 233) !important;
}
.cb2-bg {
    background-color: rgb(86, 180, 233) !important;
}
.cb2a-bg {
    background-color: rgba(86, 180, 233, 0.333) !important;
    text-align: center !important;
}
.cb3 {
    color: rgb(0, 158, 115) !important;
}
.cb3-bg {
    background-color: rgb(0, 158, 115) !important;
}
.cb3a-bg {
    background-color: rgba(0, 158, 115, 0.333) !important;
    text-align: center !important;
}
.cb4 {
    color: #F0E442 !important;
}
.cbg {
    color: rgb(211, 211, 211) !important;
}
.cbg-bg {
    background-color: rgb(211, 211, 211) !important;
}
.cbga-bg {
    background-color: rgba(211, 211, 211, 0.333) !important;
    text-align: center !important;
}

.code-90 code {
  font-size: 90% !important;
}
.code-80 code {
  font-size: 80% !important;
}

.cols-clip .column {
  overflow-x: clip !important;
}

/* Vertical-align columns */
.cols-va .column {
  vertical-align: middle !important;
}

.crunch-blockquote blockquote {
  margin-top: 0px !important;
  margin-bottom: 0px !important;
  padding-top: 0px !important;
  padding-bottom: 0px !important;
}

.crunch-code-filename .code-with-filename {
  margin-left: 0px !important;
}

.crunch-columns .columns {
  margin-top: 0px !important;
  margin-bottom: 0px !important;
}

.crunch-figure figure {
  margin-top: 0px !important;
  margin-bottom: 0px !important;
}
.crunch-figcaption figcaption {
  margin-top: 0px !important;
  margin-bottom: 0px !important;
}

.crunch-hr hr {
  margin-top: 8px !important;
  margin-bottom: 6px !important;
}
.crunch-hr-3 hr {
  margin-top: 4px !important;
  margin-bottom: 3px !important;
}

.crunch-iframe iframe {
  margin-bottom: 0px !important;
}

.crunch-img img {
  margin-top: 0px !important;
  margin-bottom: 0px !important;
}

.crunch-li li {
  margin-top: 2px !important;
  margin-bottom: 2px !important;
}
.crunch-li-4 li {
  margin-top: 4px !important;
  margin-bottom: 4px !important;
}
.crunch-li-5 li {
  margin-top: 5px !important;
  margin-bottom: 5px !important;
}
.crunch-li-8 li {
  margin-top: 8px !important;
  margin-bottom: 8px !important;
}

.crunch-math mjx-container {
  margin-top: 10px !important;
  margin-bottom: 10px !important;
}
.crunch-math-15 mjx-container {
  margin-top: 15px !important;
  margin-bottom: 15px !important;
}

.crunch-p p {
  margin-top: 2px !important;
  margin-bottom: 2px !important;
}
.crunch-p-5 p {
  margin-top: 5px !important;
  margin-bottom: 5px !important;
}
.crunch-p-6 p {
  margin-top: 6px !important;
  margin-bottom: 6px !important;
}
.crunch-p-8 p {
  margin-top: 8px !important;
  margin-bottom: 8px !important;
}

.crunch-quarto-figure .quarto-figure {
  margin-top: 0px !important;
  margin-bottom: 0px !important;
}
.crop-quarto-figure .quarto-figure {
  margin-bottom: 0px !important;
}

.crunch-quarto-layout-cell .quarto-layout-cell {
  margin-left: 0px !important;
  margin-right: 0px !important;
}

.crunch-quarto-layout-panel .quarto-layout-panel {
  margin-top: 0px !important;
  margin-bottom: 0px !important;
}

.crunch-title h2 {
  margin-bottom: 0px !important;
}

.crunch-ul ul {
  margin-bottom: 2px !important;
}

.de9im {
  width: 75% !important;
}

details {
  margin-bottom: 0px !important;
}

figcaption {
  text-align: center !important;
}

/* fix mapview... */
.fix-mapview .leaflet {
  height: 400px !important;
}
.leaflet {
  width: 100% !important;
}
.leaflet-350 .leaflet {
  height: 350px !important;
}
.leaflet-375 .leaflet {
  height: 375px !important;
}

.fix-tex-headers th {
  font-size: 1em !important;
}

.fn-span {
  font-size: 80% !important;
}

.inline-90 .math.inline {
  font-size: 90% !important;
}
.inline-80 .math.inline {
  font-size: 80% !important;
}
.math-90 .math.display {
  font-size: 90% !important;
}
.math-85 .math.display {
  font-size: 85% !important;
}
.math-80 .math.display {
  font-size: 80% !important;
}
.math-75 .math.display {
  font-size: 75% !important;
}

.footnotes-0 aside {
  bottom: 0px !important;
  margin-top: 0px !important;
}

.new-unit {
  border-top: 2px solid gray !important;
}

.no-bottom-border {
  border-bottom: 0px !important;
}

.not-title-slide {
  display: block !important;
  top: 0px !important;
}

.output-center .cell-output pre {
  max-width: fit-content;
  margin-left: auto;
  margin-right: auto;
}
.output-nowrap .cell-output pre code {
  word-break: normal !important;
  white-space: pre-wrap !important;
}
.output-90 .cell-output {
  font-size: 80% !important;
}
.output-80 .cell-output {
  font-size: 80% !important;
}
.output-75 .cell-output {
  font-size: 75% !important;
}

.p-60 p {
  font-size: 60% !important;
}
.p-70 p {
  font-size: 70% !important;
}
.p-75 p {
  font-size: 75% !important;
}
.p-80 p {
  font-size: 80% !important;
}
.p-85 p {
  font-size: 85% !important;
}
.p-90 p {
  font-size: 90% !important;
}

.sidebar-footer-item {
  font-size: 80% !important;
}

.sidebar-menu-container {
  padding-top: 10px !important;
}
.sidebar-subtitle {
  font-size: 12pt !important;
  line-height: 0.7em !important;
}

.smaller-table td {
  font-size: 80% !important;
}
.smaller-table th {
  font-size: 80% !important;
}

.sticky-head {
  position: sticky;
  top: 0;
  background-color: white;
  /* border-bottom: 2px solid gray !important; */
  border-top: none !important;
  border-bottom: none !important;
  /* box-shadow: inset 0 2px 0 #000000, inset 0 -2px 0 #000000; */
  box-shadow: inset 0 -2px 0 gray;
  padding: 2px 0;
}

.sticky-table {
  border-collapse: collapse;
  border-spacing: 0;
}

.sticky-table tbody:nth-of-type(1) tr:nth-of-type(1) td {
  border-top: none !important;
}

.small-tex-td {
    font-size: 2.0rem !important;
}
.small-tex-th {
    font-size: 2.0rem !important;
}

.small-title h1 {
  font-size: var(--r-heading2-size) !important;
}
.small-title h2 {
    font-size: var(--r-heading3-size) !important;
}

summary {
  font-size: 1.2rem !important;
}

.table-80 td {
  font-size: 80% !important;
}
.table-80 th {
  font-size: 80% !important;
}
.table-87 td {
  font-size: 87% !important;
}
.table-87 th {
  font-size: 87% !important;
}
.table-90 td {
  font-size: 90% !important;
}
.table-90 th {
  font-size: 90% !important;
}

/* and one small fix for weird FF behavior, described in https://stackoverflow.com/questions/7517127/ */
table thead th {
  background-clip: padding-box;
}

.table-va td {
  vertical-align: middle !important;
}
.table-valign td {
  vertical-align: middle !important;
}

/* td centering */
.tdc {
  vertical-align: middle !important;
  text-align: center !important;
}

/* td vertical centering */
.tdvc {
  vertical-align: middle !important;
}

/* td vertical top-align */
.tdvt {
  vertical-align: top !important;
}

.tdvc-all td {
  vertical-align: middle !important;
}

.tdvt-all td {
  vertical-align: top !important;
}

.text-60 p {
  font-size: 60% !important;
}
.text-65 {
  font-size: 65% !important;
}
.text-70 {
  font-size: 70% !important;
}
.text-75 {
  font-size: 75% !important;
}
.text-80 {
  font-size: 80% !important;
}
.text-85 {
  font-size: 85% !important;
}
.text-90 {
  font-size: 90% !important;
}
.text-95 {
  font-size: 95% !important;
}

.title-07 h2, .title-07 h1 {
  font-size: calc(0.7 * var(--r-heading2-size)) !important;
}
.title-08 h2, .title-08 h1 {
  font-size: calc(0.8 * var(--r-heading2-size)) !important;
}
.title-09 h2, .title-09 h1 {
  font-size: calc(0.9 * var(--r-heading2-size)) !important;
}
.title-10 h2, .title-10 h1 {
  font-size: calc(1.0 * var(--r-heading2-size)) !important;
}

.title-11 h2, .title-11 h1 {
  font-size: calc(1.1 * var(--r-heading2-size)) !important;
}

.title-12 h2, .title-12 h1 {
  font-size: calc(1.2 * var(--r-heading2-size)) !important;
}

.title-center h2 {
  text-align: center !important;
}

.title-right h2 {
  text-align: right !important;
}

/* For lists, shifting the bullet points */
.unindent-lists ul {
  margin-left: 0px !important;
}

.valign-cols div.column {
  vertical-align: middle !important;
}
