.token_comment {
	color: green;
}
.token_javadoc {
	color: #00008F;
}
.token_string {
	color: blue;
}
.token_keyword {
	color: darkred;
	font-weight: bold;
}
.token_bracket_outline {
	outline: 1px solid red;
}
.token_bracket {
	color: white;
	background-color: grey;
}
.token_space {
	background-image: url('/examples/textview/images/white_space.png');
	background-repeat: no-repeat;
 	background-position: center center;
}
.token_tab {
	background-image: url('/examples/textview/images/white_tab.png');
	background-repeat: no-repeat;
 	background-position: left center;
}
.line_caret {
	background-color: #EAF2FE;
}
