/* syntax highlighting (used by the first combo defined for the CSS plugin) */
body{font-family: Times New Roman; font-size: 13px; color: #000000;}
td{font-family: Times New Roman; font-size: 13px; color: #000000;}

.code { color: #f5deb3; }
.string { color: #00ffff; }
.comment { color: #8fbc8f; }
.variable-name { color: #fa8072; }
.type { color: #90ee90; font-weight: bold; }
.reference { color: #ee82ee; }
.preprocessor { color: #faf; }
.keyword { color: #ffffff; font-weight: bold; }
.function-name { color: #ace; }
.html-tag { font-weight: bold; }
.html-helper-italic { font-style: italic; }
.warning { color: #ffa500; font-weight: bold; }
.html-helper-bold { font-weight: bold; }

/* info combo */

.quote { font-style: italic; color: #ee9; }
.highlight { background-color: yellow; color: #000; }
.deprecated { text-decoration: line-through; color: #aaa; }

/*** USER Styles ***/
/* Haupt Ueberschrift */
.mainheadline {
	font-size: 17px;
	font-family: Times New Roman;
	color: #943333;
	font-weight: bold;
}
/* Unter Ueberschrift */
.mainsecondheadline {
	font-size: 13px;
	font-family: Times New Roman;
	color: #4e1414;
	font-weight: bold;
}
/*** USER Styles ***/