.code { font-family: "Courier New", Courier, mono; } .red { color: #FF0000; } .brown { color: #996600; } .orange { color: #CC6600; } .heavyred { font-weight: bold; color: #990000; } .comment { font-style: italic; color: #999999; } .left { border-left-width: medium; border-left-style: solid; border-left-color: #999999; }