.article_subtopic {
  background: url(../graphics/JRX_24x24.png) no-repeat;
  padding-left:38px;
  padding-top:6px;
}

.digit_display {
  background:black;
  color:#00c000;
  font-size:200%;
}

.shell_com {
  color:#0000c0;
}

.shell_reply {
  color:#008000;
}

td.ar {
  text-align:right;
}