/*
 * I add this to html files generated with pandoc.
 */
@import url('https://fonts.cdnfonts.com/css/dejavu-sans-mono');
:root {
 	--rosewater: #f5e0dc;
	--flamingo: #f2cdcd;
	--pink: #f5c2e7;
	--mauve: #cba6f7;
	--red: #f38ba8;
	--maroon: #eba0ac;
	--peach: #fab387;
	--yellow: #f9e2af;
	--green: #a6e3a1;
	--teal: #94e2d5;
	--sky: #89dceb;
	--sapphire: #74c7ec;
	--blue: #89b4fa;
	--lavender: #b4befe;
	--text: #cdd6f4;
	--subtext1: #bac2de;
	--subtext0: #a6adc8;
	--overlay2: #9399b2;
	--overlay1: #7f849c;
	--overlay0: #6c7086;
	--surface2:	#585b70;
	--surface1:	#45475a;
	--surface0:	#313244;
	--base:	#1e1e2e;
	--mantle: #181825;
	--crust: #11111b;
}

html {
  font-size: 100%;
  -webkit-text-size-adjust: 100%;
  -ms-text-size-adjust: 100%;
}

body {
  color: var(--text);
  font-family: "Dejavu Sans";
  font-size: 12px;
  line-height: 1.7;
  padding: 1em;
  margin: auto;
  max-width: 50em;
  background: var(--base);
}

#nav-bar {
	background-color: var(--mantle);
	height: 100vh;
	position: fixed;
	z-index: 100;
	top: 0;
	left: 0;
	overflow: auto;
	padding-right: 1em;
}

#nav-bar-toggle {
	display: block;
	font-size: 20px;
	z-index: 2;
	margin-left: 1em;
	margin-top: 0.5em;
	cursor: pointer;
}

#nav-bar > dl {
	margin-left: 10px;
}

#nav-bar dt {
	cursor: pointer;
}

#nav-bar dt::before {
	content: "↓ ";
}

#nav-bar dt.collapsed::before {
	content: "↑ ";	
}

a {
  color: var(--sapphire);
  text-decoration: none;
}

a:visited {
  color: var(--pink);
}

a:hover {
  color: var(--sky);
}

a:active {
  color: var(--blue);
}

a:focus {
  outline: thin dotted;
}

*::-moz-selection {
  background: var(--pink);
  color: var(--crust);
}

*::selection {
  background: var(--pink);
  color: var(--crust);
}

a::-moz-selection {
  background: var(--pink);
  color: var(--crust);
}

a::selection {
  background: var(--pink);
  color: var(--crust);
}

p {
  margin: 1em 0;
}

img {
  max-width: 100%;
}

h1, h2, h3, h4, h5, h6 {
  color: var(--subtext2);
  line-height: 125%;
  margin-top: 2em;
  font-weight: normal;
}

h4, h5, h6 {
  font-weight: bold;
}

h1 {
  font-size: 2.5em;
}

h2 {
  font-size: 2em;
}

h3 {
  font-size: 1.5em;
}

h4 {
  font-size: 1.2em;
}

h5 {
  font-size: 1em;
}

h6 {
  font-size: 0.9em;
}

blockquote {
  color: var(--overlay1);
  margin: 0;
  padding-left: 3em;
  border-left: 0.5em var(--teal) solid;
}

hr {
  display: block;
  height: 2px;
  border: 0;
  border-top: 1px solid #aaa;
  border-bottom: 1px solid #eee;
  margin: 1em 0;
  padding: 0;
}

code {
	background-color: var(--surface0);
	color: var(--mauve);
	font-family: "Dejavu Sans Mono", monospace;
	_font-family: 'courier new', monospace;
	font-size: 0.95em;
}

pre {
	padding: 3em;
	border: 3px solid var(--pink);
	border-radius: 10px;
	word-wrap: break-word;
}

b, strong {
  font-weight: bold;
}

dfn {
  font-style: italic;
}

ins {
  background: #ff9;
  color: #000;
  text-decoration: none;
}

mark {
  background: #ff0;
  color: #000;
  font-style: italic;
  font-weight: bold;
}

sub, sup {
  font-size: 75%;
  line-height: 0;
  position: relative;
  vertical-align: baseline;
}

sup {
  top: -0.5em;
}

sub {
  bottom: -0.25em;
}

ul, ol {
  margin: 1em 0;
  padding: 0 0 0 2em;
}

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

ul ul, ol ol {
  margin: .3em 0;
}

dl {
  margin-bottom: 1em;
}

dt {
  font-weight: bold;
  margin-bottom: .8em;
}

dd {
  margin: 0 0 .8em 2em;
}

dd:last-child {
  margin-bottom: 0;
}

img {
  border: 0;
  -ms-interpolation-mode: bicubic;
  vertical-align: middle;
}

figure {
  display: block;
  text-align: center;
  margin: 1em 0;
}

figure img {
  border: none;
  margin: 0 auto;
}

figcaption {
  font-size: 0.8em;
  font-style: italic;
  margin: 0 0 .8em;
}

table {
  margin-bottom: 2em;
  margin-left: auto;
  margin-right: auto;
  border-spacing: 0;
  border-collapse: collapse;
}

table th {
  padding: .2em 1em;
  margin-top: 100px;
  background-color: var(--mantle);
  border: 2px solid var(--blue);
}

tbody:before {
	content: "@";
	display: block;
	line-height: 10px;
	text-indent: -99999px;
}

table td {
  padding: .2em 1em;
  border: 1px solid var(--lavender);
  vertical-align: top;
}

.author {
  font-size: 1.2em;
  text-align: center;
}

@media only screen and (max-width: 1024px) {
  #nav-bar:has(> .collapsed) {
  	height: auto;
  }
  #nav-bar {
	height: 100%;
	width: 100%;
	overflow: scroll;
  }
}

@media only screen and (min-width: 480px) {
  body {
    font-size: 14px;
  }
}
@media only screen and (min-width: 768px) {
  body {
    font-size: 16px;
  }
}

@media print {
  * {
    background: transparent !important;
    color: black !important;
    filter: none !important;
    -ms-filter: none !important;
  }

  body {
    font-size: 12pt;
    max-width: 100%;
  }

  a, a:visited {
    text-decoration: underline;
  }

  hr {
    height: 1px;
    border: 0;
    border-bottom: 1px solid black;
  }

  a[href]:after {
    content: " (" attr(href) ")";
  }

  abbr[title]:after {
    content: " (" attr(title) ")";
  }

  .ir a:after, a[href^="javascript:"]:after, a[href^="#"]:after {
    content: "";
  }

  pre, blockquote {
    border: 1px solid #999;
    padding-right: 1em;
    page-break-inside: avoid;
  }

  tr, img {
    page-break-inside: avoid;
  }

  img {
    max-width: 100% !important;
  }

  @page :left {
    margin: 15mm 20mm 15mm 10mm;
}

  @page :right {
    margin: 15mm 10mm 15mm 20mm;
}

  p, h2, h3 {
    orphans: 3;
    widows: 3;
  }

  h2, h3 {
    page-break-after: avoid;
  }
}