:root {
  --lighter-bg: #282a36;
  --default-bg: black;
  --default-color: gainsboro;
  --default-serif-font-family:
    Garamond, Georgia, "Times New Roman", Times, serif;
  --default-sans-font-family: Consolas, "Courier New", Courier, sans-serif;
  --content-left-margin: 220px;
  --content-max-width: 824px;
}

body {
  color: var(--default-color);
  font-family: var(--default-sans-font-family);
  margin: 0;
  padding: 0;
  background-color: var(--default-bg);
  font-size: 1.2em;
}

a {
  color: cyan;
  text-decoration: none;
}

h3 {
  margin-bottom: 0;
}
.repeat {
  margin: 0;
  padding: 0;
  height: 226px;
  background: url("images/repeat.jpg") 0 0 repeat-x;
}

.header {
  background: url("images/header.jpg") 0 0 no-repeat;
  height: 226px;
  width: 700px;
  position: absolute;
}

#badge {
  width: 160px;
  left: 864px;
  position: absolute;
  background-color: var(--default-bg);
  border-radius: 0 0 10px 10px;
  padding: 2px;
  top: 0;
  min-height: 30px;
  line-height: 30px;
}

#menu {
  position: static;
  width: 195px;
  margin: 0px 0 0 10px;
  padding: 0;
  float: left;
}

#content {
  margin: 20px 20px 0 var(--content-left-margin);
  padding: 0 0 10px 15px;
  color: var(--default-color);
  border-left: 1px solid var(--default-color);
  min-height: 200px;
  max-width: var(--content-max-width);
}

#content > p:last-child {
  margin-bottom: 10px;
}

#footer {
  padding-left: 15px;
  margin-left: var(--content-left-margin);
  border-top: 1px solid var(--default-color);
  max-width: var(--content-max-width);
  padding-top: 10px;
  font-size: 0.7em;
  margin-bottom: 20px;
}

ul {
  margin-top: 0;
}

#menu > ul {
  margin: 0 0 10px 0;
  padding: 0;
}

#menu > ul li {
  display: block;
  padding: 0 0 0 10px;
  margin: 0;
  padding: 0;
  border-bottom: 2px dotted var(--default-color);
}

#content > ul li {
  padding-top: 5px;
}

#menu > ul li a {
  display: block;
  height: 34px;
  line-height: 34px;
  padding: 0 0 0 10px;
  text-decoration: none;
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-family: Helvetica;
  font-size: 1em;
  color: var(--default-color);
}

a:hover {
  background-color: var(--lighter-bg);
}

#menu > ul li a:visited {
  color: white;
}

a.external {
  padding-right: 1em;
}

a.external::after {
  position: absolute;
  content: "↗";
  margin-left: 0.25em;
  font-size: 0.7em;
  vertical-align: super;
}

div.progress {
  border: 2px solid white;
  margin-top: 10px;
}

div.progress > div {
  height: 30px;
  line-height: 30px;
  background-color: silver;
  color: black;
  font-weight: bold;
  padding: 5px;
}