:root {
  --base00: #001100;
  --base01: #003300;
  --base02: #005500;
  --base03: #007700;
  --base04: #009900;
  --base05: #00bb00;
  --base06: #00dd00;
  --base07: #00ff00;
  --base08: #007700;
  --base09: #009900;
  --base0A: #007700;
  --base0B: #00bb00;
  --base0C: #005500;
  --base0D: #009900;
  --base0E: #00bb00;
  --base0F: #005500;
}

html,
body,
tr,
td {
  background-color: var(--base00);
  color: var(--base05);
}

b,
strong,
a,
a:link,
a:visited,
a:active,
h1,
h2,
h3,
h4,
h5,
label {
  color: var(--base07);
}

div#logo pre {
  color: var(--base05);
  text-shadow: 0 0 20px var(--base03), 0 0 30px var(--base03),
    0 0 40px var(--base03), 0 0 55px var(--base03), 0 0 75px var(--base03);
}

a:hover {
  color: var(--base05);
}

hr,
div.bar {
  background: var(--base02);
  color: var(--base05);
  box-shadow: 2px 2px var(--base01);
}

h1,
h2,
h3,
h4,
h5,
th,
label {
  text-shadow: 2px 2px var(--base02);
}

input,
textarea {
  background-color: var(--base00);
  color: var(--base05);
  border: 1px solid var(--base03);
}

table,
div#body pre {
  border: 1px solid var(--base03);
}