a:link {
 color: #7f7f00;
 text-decoration: none;
}
a:visited {
 color: #007f7f;
 text-decoration: none;
}
a:active {
 color: #7f007f;
 text-decoration: none;
}
a:hover {
 color: #7f007f;
 text-decoration: none;
}
body {
 color: #3f3f3f;
 background: #ffffff;
 font-family: monospace;
}
h1 { text-align: center; }
p.centered { text-align: center; }
p.menus { text-align: center; }
span.ansi30b { color: #7f7f7f }
span.ansi31 { color: #7f0000 }
span.ansi31b { color: #ff0000 }
span.ansi32 { color: #007f00 }
span.ansi32b { color: #00ff00 }
span.ansi36 { color: #007f7f }
span.ansi36b { color: #00ffff }
span.ansi37 { color: #bfbfbf }
span.ansi37b { color: #ffffff }