/*************************
***  Highlight Styles  ***
*************************/

td#hl-main, td#gutter { font-size: 100%; margin: 0; }
td#gutter { width: 45px; text-align: right; padding: 0 7px 0 0; border-right: 1px solid #ccc; }
td#hl-main { padding: 0 0 0 10px; background: #393939; color: #fff; }
div#full-width ol.monospace { background: #393939; color: #fff; }
.hl-identifier, .hl-inlinetags, .hl-var { background-color: inherit; color: #4ff; }
.hl-comment, .hl-mlcomment { background-color: inherit; color: #8af; }
.hl-quotes, .hl-string, .hl-number { background-color: inherit; color: #f7f; }
.hl-types, .hl-code, .hl-brackets  { background-color: inherit; color: #6f6; }
.hl-reserved { background-color: inherit; color: #a44; }
.hl-types, .hl-reserved, .hl-prepro, .hl-special { font-weight: bold; }