.hl-main { font-family: "Courier New",monospace; font-size:12px;line-height:1.4em}
 ol.hl-main { margin-top:0;margin-bottom:0 }
 .hl-main > li { font-family: "Courier New",monospace; font-size:12px;line-height:1.4em;margin-top:0; }
 .hl-gutter { font-family: "Courier New",monospace; color: #101010; background-color: #e6e6e6; line-height:1.4em }
 .hl-default { font-family: "Courier New",monospace; color: #000000; }
 .hl-code { font-family: "Courier New",monospace; color: black; }
 .hl-brackets { font-family: "Courier New",monospace; color: #009966; }
 .hl-comment { font-family: "Courier New",monospace; color: #7F7F7F; }
 .hl-quotes { font-family: "Courier New",monospace; color: #00007F; }
 .hl-string { font-family: "Courier New",monospace; color: #blue; }
 .hl-identifier { font-family: "Courier New",monospace; color: #000080; }
 .hl-reserved { font-family: "Courier New",monospace; color: blue; }
 .hl-prepro,.hl-inlinedoc { font-family: "Courier New",monospace; color: #0000FF; }
 .hl-var { font-family: "Courier New",monospace; color: #800000; }
 .hl-url { font-family: "Courier New",monospace; color: #FF0000; }
 .hl-types,.hl-special { font-family: "Courier New",monospace; color: #0000FF; }
 .hl-number { font-family: "Courier New",monospace; color: green }
 .hl-inlinetags { font-family: "Courier New",monospace; font-weight: bold; color: #ef8928; }