html
{
  background: #111;
  color: #eee;
}

a:link { color: #fa0; }
a:visited { color: #fe0; }
a:active { color: #f00; }
.link_button
{
  color: #fa0;
  text-decoration: underline;
  background: none;
  border: none;
  padding: 0;
  cursor: pointer;
  font: inherit;
}
.link_button:active { color: #f00; }

.term
{
  background: black;
  color: #e5e5e5;
  white-space: pre-wrap;
}

.term-attr0 { font-weight: 700; }
.term-attr1 { font-weight: 100; }
.term-attr2 { font-style: italic; }
.term-attr3 { text-decoration: underline; }
.term-attr4 { /* slow blink */ }
.term-attr5 { /* fast blink */ }
.term-attr6 { /* reverse video */ }
.term-attr7 { /* conceal */ opacity: 0; }
.term-attr8 { /* crossed out */ text-decoration: line-through; }
/* https://stackoverflow.com/questions/15643614/double-underline-tag */
.term-attr9 { border-bottom: double 3px; }
.term-attr10 { /* proportional spacing */ }
.term-attr11 { border: 1px; }
.term-attr12 { /* encircled */ }
.term-attr13 { text-decoration: overline; }
.term-attr14 { vertical-align: super; }
.term-attr15 { vertical-align: sub; }

.term-deffg-rev { color: black; }
.term-defbg-rev { background-color: #e5e5e5; }

/* xterm colors */
.term-fg0  { color: #000000; }
.term-fg1  { color: #cd0000; }
.term-fg2  { color: #00cd00; }
.term-fg3  { color: #cdcd00; }
.term-fg4  { color: #0000ee; }
.term-fg5  { color: #cd00cd; }
.term-fg6  { color: #00cdcd; }
.term-fg7  { color: #e5e5e5; }
.term-fg8  { color: #7f7f7f; }
.term-fg9  { color: #ff0000; }
.term-fg10 { color: #00ff00; }
.term-fg11 { color: #ffff00; }
.term-fg12 { color: #5c5cff; }
.term-fg13 { color: #ff00ff; }
.term-fg14 { color: #00ffff; }
.term-fg15 { color: #ffffff; }

.term-bg0  { background: #000000; }
.term-bg1  { background: #cd0000; }
.term-bg2  { background: #00cd00; }
.term-bg3  { background: #cdcd00; }
.term-bg4  { background: #0000ee; }
.term-bg5  { background: #cd00cd; }
.term-bg6  { background: #00cdcd; }
.term-bg7  { background: #e5e5e5; }
.term-bg8  { background: #7f7f7f; }
.term-bg9  { background: #ff0000; }
.term-bg10 { background: #00ff00; }
.term-bg11 { background: #ffff00; }
.term-bg12 { background: #5c5cff; }
.term-bg13 { background: #ff00ff; }
.term-bg14 { background: #00ffff; }
.term-bg15 { background: #ffffff; }