:root {
  --color-primary: #1a0081;
  --color-secondary: #8a2be2;
  --color-tertiary: #eae9f4;
  --color-quaternary: #f8f8f8;
}

@font-face {
  font-family: JuliaMono-Regular;
  src: url("https://cdn.jsdelivr.net/gh/cormullion/juliamono/webfonts/JuliaMono-Regular.woff2");
}

div.c-set table {
  line-height: 1em;
  margin-left: auto;
  margin-right: auto;
  border-collapse: collapse;
  text-align: center;
  margin-bottom: 1.5em;
}
div.c-set thead tr:first-of-type > th {
  text-align: center;
  background: var(--color-tertiary);
}
div.c-set tr,
div.c-set th,
div.c-set td {
  padding: 10px;
  border: 1px solid lightgray;
}

div.c-set .fndef tr:first-of-type {
  background: var(--color-quaternary);
}

.tikzcd {
  display: flex;
  flex-direction: column;
  align-items: center;
  margin-bottom: 1em;
  margin-top: 1em;
}

div.proof:after {
  content: "\25A2";
  float: right;
  margin-top: -3.4rem;
}

.rmenv,
.itenv {
  padding-left: 0.75em;
  margin-bottom: 1.5em;
  border-left: 1px solid var(--color-primary);
}

.itenv {
  font-style: italic;
}
.itenv em {
  font-style: normal !important;
}

.itenv:before,
.rmenv:before {
  content: attr(title) ".";
  font-style: normal;
  font-weight: 600;
  padding-right: 0.5em;
  display: inline;
}

.itenv > p:first-of-type,
.rmenv > p:first-of-type {
  margin-top: 0 !important;
  display: inline;
}

.itenv > :last-child,
.rmenv > :last-child {
  margin-bottom: 0 !important;
}

.navbar,
.quarto-title-banner {
  background-color: var(--color-primary) !important;
}

.nav-footer {
  background-color: var(--color-quaternary);
  border-top: 1px solid var(--color-tertiary);
  padding: 2rem 0;
  font-size: 0.85rem;
  color: #666;
}

.nav-footer-center {
  font-weight: 600;
  color: var(--color-primary);
}

.nav-footer a {
  color: var(--color-secondary);
  text-decoration: none;
}

.nav-footer a:hover {
  text-decoration: underline;
}