:root {
  --font-serif: Latin Modern Roman, serif;
  --font-sans: Latin Modern Sans;
  --font-serif-g: "EB Garamond 12";
  --bg: rgba(15, 17, 19);
  --fg: rgba(235,219,178,1);
  --bg-def: rgba(15, 16, 17);
  --link: rgba(200,219,178,1);
}
html,body {
    background: var(--bg);
    color: var(--fg);
    font-family: var(--font-serif);
    max-width: 70%;
    min-width: 800px;
    margin: 0 auto;
}
a {
    font-family: var(--font-serif-g);
    color: var(--link);
    margin: 1.5px;
    text-decoration: none;
}
a:hover{
    text-decoration: underline;
}
a[href^="http"]::after {
    content: "🡕";
}
/* BLOCKQUOTE */
blockquote {
    text-align: justify;
    hyphens: auto;
    border-left: 1px solid var(--fg);
    padding: 0 10px 0 10px;
}
.MJX-TEX, svg {
	  padding: 5px !important;
}
.def,.theorem {
    background: var(--bg-def);
    padding: 15px;
    margin-bottom: 20px;
    border: 1px solid var(--fg);
}
.def::before {
	content: "Definition.";
  font-family: var(--font-serif);
  font-weight: bold;
}
.theorem::before {
	content: "Theorem.";
  font-family: var(--font-serif);
  font-weight: bold;
}
pre.src {
    background: transparent !important;
    border: none;
}
#table-of-contents {
    font-size: 0.9em;
    float: left;
    position: sticky;
    top: 0px;
    margin-left: -40%;
    margin-top: -50vh;
    max-width: 300px;
    max-height: 100vh;
    z-index: 110;
    overflow-y: scroll;
}
#table-of-contents h2 {
	display: none;
}

h1, h2, h3, h4 {
	font-size: 1.2rem;
}