body {
  background: #0f0e21;
  color: #cccccc;
  font-family: "Noto Sans Mono", "Courier New", monospace;
  font-size: 14pt;
}

a,
.button {
  text-decoration: none;
  color: #00eaff;
  cursor: pointer;
}

a:hover,
a:focus,
.button:focus,
.button:hover {
  color: #42aeb8;
}

header #index-btn{
  text-shadow: 0 0 5px #42aeb8, 0 0 5px #42aeb8;
  padding-right: 5pt;
}

header {
  white-space: nowrap;
  cursor: default;
  z-index: 100;
  margin-bottom: 2em;
}


header nav {
  display: inline-block;
}

header nav ul {
  margin: 0;
  padding: 0;
  display: inline;
  list-style-type: none;
}

header nav li {
  display: inline-block;
  padding-right: 1em;
}

img#photo {
  border: 0;
  max-width: 300px;
  max-height: 300px;
}

img.plot {
  border: 0;
  max-width: 800px;
}

code {
  position: relative;
  display: inline-block;
  margin: 1mm;
  padding: 1mm;
  color: rgb(168, 168, 168);
  font-size: 12pt;
}

code::before {
  z-index: -1;
  content: "";
  position: absolute;
  display: block;
  left: -2px;
  right: -2px;
  top: 3px;
  bottom: 0px;
  border: 1px solid #333340;
  background: #10101a;
}

.quiet {
  opacity: 0.65;
}

.float-right {
  float: right;
}

.inline {
  display: inline;
}

.description {
  margin-top: 4px;
}

.hidden {
  display: none;
  visibility: hidden;
}

article {
  width: 45em;
  margin-bottom: 2em;
  margin-top: 2em;
}

article:first-of-type {
  margin-top: 0;
}

article em {
  color: #ffffff;
  font-style: normal;
  text-shadow: 0 0 5px #ffffff;
}

article a {
  white-space: nowrap;
}

article ul {
  list-style-type: none;
  padding: 0;
}

article li {
  padding-left: 2.5em;
  position: relative;
}

article li:before {
  content: "\00a0\00a0-\00a0";
  position: absolute;
  left: 0;
  top: 0;
}