@import url('https://fonts.googleapis.com/css2?family=Alegreya+Sans+SC:ital,wght@1,300;1,900&family=Galdeano&family=Nunito:ital,wght@0,500;0,800;1,700&display=swap');

html{
  -moz-text-size-adjust: none;
  -webkit-text-size-adjust: none;
  text-size-adjust: none;
  }

:root {
  --h1-color: #805454;
  --pre-background: rgb(78, 78, 78);

}


a:link, a:visited, a:hover, a:active {
  color: black;
}

body {
  background-image: url("https://cdn.sstatic.net/Sites/askubuntu/img/site-background-image.png?v=29bccd27864c");
  background-repeat: repeat;
  background-size: auto;
  background-attachment: scroll;
  -background-color: rgb(255, 255, 255);
  background-color: rgb(142, 139, 139)
}

h1, h2 {
  color: var(--h1-color);
}

vbox#abox {
  -align-items:  flex-start;
  align-items: stretch;
  background-color: rgb(240, 240, 240);
  min-height: 100vh;
  font-family: 'Noto Sans';
  letter-spacing: .03em;
  font-weight: 400;
  line-height: 1.5em;
}

article {
  display: flex;
  flex-direction: column;
  width:100%;
}

pre {
  white-space: pre-wrap;
  background-color: var(--pre-background);
  -color: #92d992;
  color: #5ad95a;
  padding: 5px 15px;
  align-self: center;
  min-width: 50%;
}

pre a {
  color: #843e3e;
  text-decoration: none;
  font-weight:bold;
}

pre a::before {
  content: "→ ";
}

pre code {
  -background-color: rgb(80,80,80);
}

p, li {
  font-size: 1.2em;
  padding: 0.5em 0 0 0;
  -font-family: ubuntu;
  font-weight: 300;
  line-height: 1.5em;
}

p a {
  font-size: 0.9em;
}

p aa::before {
  content: "→\a0";
  font-size: 1em;
}


p code, li code {
  font-size: 1.0em; /* depends on font-family */
  letter-spacing: -.03em;
  color: rgb(0,40,0);
  white-space: nowrap;
  background-color: rgb(200,200,200);
  padding: 2px 4px;
}

h1, h2, h3 {
  width:100%;
}

h1 {
  width:100%;
  font-size:3.2em;
  line-height: 1.2em;
  margin: 0.5em 0 0.25em 0;
  text-align: center;
  -color: #805454;
  font-family: galdeano;
  -align-self: center;
}

h2 {
  width:100%;
  font-size:2.4em; line-height: 1.1em;
  margin-top: 10pt;
  margin-bottom: 10pt;
  text-align: center;
  align-self: center;
  -color: #805454;
}

h3 {
  display: inline-flex;
  font-size: 1.6em; line-height:1.5em;
  margin-top: 1.4em;
  margin-bottom: 0.5em;
  text-align: center;
  font-weight: bold;
}


h4 {
  display: inline-flex;
  font-size:1.2em;
  margin-top: 5pt;
  margin-bottom: 3pt;
  padding:3px;
  text-align: left;
}


div .code {
  margin:10pt;
  padding:10pt;
  border: 1px solid green;
}

div.console {
  -margin:0pt 10pt 10pt 10pt;
  -padding:0pt 10pt 10pt 10pt;
  margin:3px;
  padding:3px;
  border: 1px solid darkgray;
  background-color: rgb(120,120,120);
  color: rgb(30,250,30)
}

div.ref {
  margin: 10pt 0pt 0pt 0pt;
  width:100%;
  max-width:600pt;
}


a {
  text-decoration: none;
  font-size: 1.2em;
}

p a, li a {
  text-decoration: none;
  font-family: serif;
  font-size: 1.0em;
  font-style: italic;
}

red {
  color: red;
  font-weight:bold;
}

div+h1 {
  margin-top:0px;
}

h1+h2, h3+ul, h1+h1 {
  margin-top: 0px;
}


h4 + ul, h4+ol {
  margin-top:0;
}

ul, ol {
  width: 95%; /* issue here*/
  padding-left:4em;
  font-size: 0.8em;
}

li:first-child {
  margin-top: 0;
}


hbox.caption {
  font-family: serif;
  font-style: italic;
  width:100%;
  -text-align: center;
  justify-content: center;
  font-size: 1em;
  line-height: 1.8em;
}


img {
  margin: 0 auto;
  align-self: center;
}


vtop.toc {
  align-items: center;
  text-align: center;
  border: 3px solid rgba(0, 0, 255, 0.3);
  margin: 0 auto;
  padding: 1em 2em;
}


vbox.toc a::before {
  -content: "\25b2\2003";
      -content: '-\2003';
      -font-size: 1.0em;
}

vbox.toc a {
  font-family: 'Noto Sans';
  font-weight: 700;
  font-size: 1.6em;
  line-height: 2.6em;
  color: rgb(120,120,120);
  margin: 0.3em 0;
}