/* CSS file for the text_highlighter for java */

div.hl-main {
   display: block;
   margin: 10px;
   padding: 3px;
   background-color: #eee;
   border: 1px dotted #888;
   white-space: pre;
}

span.hl-quotes {
   font-weight: bold;
   color: black;
}

span.hl-string {
   color: red;
}

span.hl-reserved {
   font-weight: bold;
   color: black;
}

span.hl-types {
   font-weight: bold;
   color: green;
}


span.hl-brackets {
   font-weight: bold;
   color: brown;
}