*, *::after, *::before {
  box-sizing: border-box;
}

/*html {
  background: url('assets/Conjured-In-Sleep-3.JPG');
  background-repeat: repeat;
  background-size: 490px;
}*/

pre > code {
  color: black;
}

p > code, ul code {
  color: #555;
  font-size: 0.95rem; 
}

h2 > code {
  color: #555;
}

.abstract {
  /* font-family: sans-serif; */
  word-spacing: -1px;
}

body
{
  scroll-behavior: smooth;
  font-size: 1rem;
  background: #FEFEFE;
  color: #333;
  font-family: "PT Serif", Georgia, Times, "Times New Roman", serif;
  _font-family: "Trebuchet MS", Trebuchet, sans-serif;
  max-width: 600px;
  width: 68%;
  _text-align: justify;
  margin: 0 auto;
  margin-bottom: 100px;
}

.margin-note {
  clear: both;
  margin-right: -33%;
  float: right;
  width: 33%;
  padding-left: 1.5rem;
  font-size: 0.8rem;
  text-align: left;
  margin-bottom: 1rem;
}

.toc {
  scroll-behavior: smooth;
}

.big-margin-note {
  clear: both;
  margin-right: calc(-40% - 1rem);
  float: right;
  width: 40%;
  font-size: 1rem;
  padding: 0 0.4rem;
  text-align: left;
  margin-bottom: 1rem;
}

p {
  _font-family: "Trebuchet MS", Trebuchet, sans-serif;
}

.margin-note * {
  font-size: 0.8rem;
}

.margin-note sup {
  
}

.margin-note code {
  font-size: 0.75rem;
  color: #555;
}

.big-margin-note code {
  color: #555;
}

a, a:visited, a:hover
{
  color: #332FD0;
}

:root {
  font-size: 16px !important;
}

html
{
  border-top: 4px solid #444;
}

.abstract
{
  text-align: justify;
  display: block;
  border: 1px solid #999;
  background: #fff;
  padding: 1rem;
}

.abstract > *
{
  margin: 0;
  display: inline;
}

#title-block-header {
  position: relative;
}

h1 {
  text-transform: uppercase;
  clear: both;
}

h2, h3, h4, h5, h6 {
  text-transform: uppercase;
  padding: 0;
  margin: 0;
  font-size: 1rem;
  font-family: "Montserrat", sans-serif;
}

h2 {
  margin-top: 1.2rem;
}

p {
  /*margin: 0.5rem 0;*/
}

h1 {
  text-align: left;
  font-size: 1rem;
  border-bottom: 1px solid #000;
  padding: 0;
  margin: 0;
  margin-bottom: 0.5rem;
  margin-top: 1rem;
  font-family: "Montserrat", sans-serif;
}

.title {
  font-size: 1.33rem;
}

pre {
  font-size: 0.9rem;
  background-color: #fefefe !important;
  border: 1px dotted #444;
}

/*code > span:hover {
  background: #e0e0e0;
}*/

blockquote {
  background-color: #f5f5f5;
  border-top: 1px solid #ddd;
  border-right: 1px solid #ddd;
  border-bottom: 1px solid #ddd;
  _font-size: 1rem;
  font-style: italic;
}

blockquote p:first-child {
  margin-top: 0;
}

blockquote p:last-child {
  margin-bottom: 0;
}

.top-links {
  font-family: 'Courier Prime', 'Courier New', Courier, monospace;
  color: #aaa;
  font-weight: 600;
  display: flex;
  flex-direction: column;
}

.top-links a, .top-links a:visited, .top-links a:hover {
  text-decoration: none;
  color: #333;
  _border-bottom: 2px solid;
  font-family: 'Courier Prime', 'Courier New', Courier, monospace;
}

/*.top-links a:nth-child(1) {
  border-color: #9772FB;
}

.top-links a:nth-child(2) {
  border-color: #EB5353;
}

.top-links a:nth-child(3) {
  border-color: #68A7AD;
}

.top-links a:nth-child(4) {
  border-color: #112B3C;
}*/

.top-links a:not(:last-child) {
  margin-right: 0px;
}

.home-link {
  text-align: center;
  padding-bottom: 1em;
}

nav#page-nav {
  display: flex;
  flex-direction: row;
  justify-items: center;
  justify-content: space-evenly;
  border: solid 1px #ccc;
  box-shadow: 12px 12px #555;
}

nav#page-nav {
  font-size: 1.2rem;
  margin-bottom: 3rem;
  margin-top: 0.5rem;
}

nav > * {
  padding: 1em;
}

nav#page-nav a {
  text-transform: uppercase;
}

nav#page-nav p {
  margin: 0;
  font-family: 'EB Garamond', serif;
  text-align: center;
  font-weight: bolder;
  font-style: italic;
}

nav#page-nav > img {
  height: 200px;
}

img:not(.sidenote img) {
  max-width: 100%;
  border: 1px solid #444;
  _margin: 0 auto;
  display: block;
}

footer {
  margin-top: 1rem;
  padding-top: 0;
  border-top: 1px dotted #111;
}

footer > *:first-child {
  margin-top: 0.5rem;
}

code {
  
  font-family: Menlo, Monaco, "Andale Mono", "lucida console", "Courier New", monospace;
}

code:not(pre code) {
  font-size: 0.85rem;
  padding: 0px 4px;
  margin: 0 2px;
  background: #ceecff;
  color: #3b3b3b;
}

.sidenote {
  float: right;
  max-width: 40%;
  font-size: 0.8rem;
  text-align: left;
  background-color: #f8f8f8;
  padding: 0;
  margin: 1rem;
  margin-top: 0;
  margin-right: 0;
  border: 1px solid #999;
}

.full-figure {
  margin-top: 1rem;
  margin-bottom: 1rem;
  display: block;
  border: 1px solid;
}

.full-figure img {
  border: none !important;
}

.full-figure .caption {
  margin: 0;
  padding: 0.2rem 0.4rem;
  padding-top: 0;
  display: block;
}

.sidenote p {
  padding: 0rem;
  margin: 0;
}

.sidenote .caption {
  margin: 0;
  padding: 0.2rem 0.4rem;
  padding-top: 0;
  display: block;
}

footer {
  clear: both;
}

section.footnotes hr {
  display: none;
}


nav#TOC {
  position: fixed;
  top: 1rem;
  right: 1rem;
  width: 20%;
  min-width: 350px;
  padding-left: 1rem;
  border: 2px dotted #444;
  font-size: 1rem;
  background: #fff;
}

nav#TOC ul {
  margin: 0;
  list-style-type:decimal;
}

nav#TOC li {
  margin: 0;
}

@media screen and (max-width: 1626px) {
  nav#TOC {
    display: none;
  }
}

blockquote {
  font-size: initial;
}

.historylink {
  float: right;
}

.home-link
{
  position: absolute;
  right: 100%;
  min-width: 100px;
  text-align: right;
  margin-right: 2rem;
  font-size: 1rem;
  padding-bottom: 1em;
}

@media screen and (max-width: 800px) {
  body {
    min-width: 97%;
  }

  .home-link {
    display: none;
  }

  .historylink {
    float: none;
    display: block;
  }

  .margin-note {
    color: #444;
    padding: 2px;
    float: none;
    margin-right: initial;
    border: 1px dotted;
    margin-right: 0.5rem;
    margin-bottom: initial;
    width: 100%;
  }

  .big-margin-note {
    display: none;
  }

  
}

sup { vertical-align: top; font-size: 0.6em; }

.highlight code {
  color: #444;
}

blockquote {
  margin: 1rem auto;
  font-family: "PT Serif", Georgia, Times, "Times New Roman", serif
}

header + p {
  margin-top:0;
}

a:hover {
  color: #DE3163 !important;
}


p.date {
  font-size: 1.1rem;
  text-align: center;
}

summary {
  color: #666;
  border-bottom: dashed 1px #555;
}

details[open] summary {
  color: #000;
}