body {
  font-family: consolas;
}

h1, h2, h3 {
  width: 90%;
  text-align: center;
}

h1 { font-size: 1.75em; }
h2 { font-size: 1.50em; }
h3 { font-size: 1.25em; }
  

.screenshot {
  width: 90%;
  height: auto;
  display: block;
  margin-left: auto;
  margin-right: auto;
}

.container {
  position: relative;
  width: 90%;
}

.overlay, .overlay_subtext {
  position: absolute;
}

.overlay_subtext {
  visibility: hidden;
  width: 80%;
  left: 10%;
  height: 1em;
}

.scoreboard {
  padding: 0.25em;
  border: 1px solid black;
}

td.scoreboard {
  text-align: right;
}

.text_content {
  width: 90%;
}

.headline {
  font-weight: bold;
  font-size: 2.25em;
  width: 90%;
  text-align: center;
  border-bottom: 1px solid black;
  padding-top: 1.5em;
  padding-bottom: 1.5em;
}

#toc {
  position: fixed;
  top: 1.25em;
  left: 0.25em;
  border: 1px solid black;
  background-color: #E0E0FF;
  padding: 1em;
  height: 65%;
  overflow: auto;
  visibility: hidden;
}

#toc_head {
  font-weight: bold;
  font-size: 1.25em;
  width: 100%;
  text-align: center;
  border-bottom: 1px solid black;
  margin-bottom: 1em;
}

#toc_link {
  position: fixed;
  left: 0;
  top: 0;
  width: 25%;
  height: 1.5em;
  border: 1px solid black;
  text-align: center;
  vertical-align: middle;
  background-color: #A0A0FF;
}

#toc_link:hover { cursor: pointer; background-color: #8080FF; }

.tooltip { font-size: 1.25em; }