body {
  background-color: #000000;
  color: #F3E0F5;
  font-family: 'gohu14', Verdana;
}

.window {
  margin: 5% 30% 5% 30%;
}

@media only screen and (max-width: 768px) {
  /* For mobile phones: */
  [class="window"] {
    margin: 5% 5% 5% 5%;
  }
}

@font-face {
  font-family: spacemono;
  src: url('SpaceMono-Regular.ttf');
}

@font-face {
  font-family: quicksand;
  src: url('Quicksand.ttf');
}

@font-face {
  font-family: encodesans;
  src: url('EncodeSans.ttf');
}

.blink {
  animation: blinker 1s step-start infinite;
}

@keyframes blinker {
  50% {
    opacity: 0;
  }
}

figcaption {
  font: italic small sans-serif;
  padding: 3px;
  text-align: center;
}

.supemp {
  font-weight: bold;
}

.responsive-img {
  display: block;
  margin-left: auto;
  margin-right: auto;
  border-radius: 4px;
  height: auto;
  max-width: 100%;
}

.topbar {
  background-color: #A53860;
  border: 1px solid #A53860;
  margin-bottom: 2px;
  padding: 1px 8px 1px 8px;
  font-size: 11px;
  font-family: 'gohu', Courier New;
}

.topbar2 {
  background-color: #A53860;
  border: 1px solid #A53860;
  margin-top: 20px;
  margin-bottom: 2px;
  padding: 1px 8px 1px 8px;
  font-size: 11px;
  font-family: 'gohu', Courier New;
}

.bottombutton {
  background-color: #A53860;
  border: 1px solid #A53860;
  margin-top: 2px;
  padding: 1px 8px 1px 8px;
  width: 10%;
  text-align: center;
  font-size: 80%;
  font-family: 'gohu', Courier New;
}

a.homebutton:link, a.homebutton:visited {
  display: block;
  background-color: #A53860;
  border: 1px solid #A53860;
  color: #F3E0F5;
  margin-top: 2px;
  margin-bottom: 20px;
  padding: 1px 8px 1px 8px;
  width: 15%;
  text-align: left;
  text-decoration: none;
  font-size: 11px;
  font-family: 'gohu', Courier New;
}

a.homebutton:hover, a.homebutton:active {
  color: #000000;
  background-color: #EF88AD
}

.core {
  background-color: #670D2F;
  border: 4px solid #A53860;
  padding: 20px 30px 20px 30px;
  color: #F3E0F5;
  font-family: 'quicksand', Georgia;
  font-size: 11px;
}


a:link, a:visited {
  color: #F3E0F5; 
}

a:hover, a:active {
  color: #EF88AD; 
}

ul.nav {
  list-style-type: none;
  margin: 0px;
  padding: 0px;
}

a.nav:hover, a.nav:active {
  color: #000000;
  background-color: #EF88AD
}

ul.nav li a {
  display: block;
  background-color: #670D2F;
  border: 2px solid #A53860;
  padding: 5px 20px 5px 20px;
  color: #F3E0F5;
  text-decoration: none;
  font-family: 'gohu', Verdana;
  font-size: 11px;
  margin: 2px 0px 2px 0px;
}

ul.nav li.info {
  font-size: 60%;
  background-color: #670D2F;
  padding: 10px 16px 12px 40px;
  margin: 2px 0px 16px 40px;
  text-align: right;
  font-family: Verdana;
}

ul.toc {
  list-style-type: none;
  margin: 0px;
  padding: 0px;
}