.highlight {
	BORDER-RIGHT: #aaaaaa 1px solid; PADDING-RIGHT: 4px; BORDER-TOP: #aaaaaa 1px solid; PADDING-LEFT: 4px; FONT-WEIGHT: normal; FONT-SIZE: larger; MARGIN-BOTTOM: 0.5em; PADDING-BOTTOM: 4px; BORDER-LEFT: #aaaaaa 1px solid; COLOR: #333333; PADDING-TOP: 4px; BORDER-BOTTOM: #aaaaaa 1px solid; BACKGROUND-COLOR: #FFFF00
}
.highlight2 {
	BORDER-RIGHT: #aaaaaa 1px solid; PADDING-RIGHT: 4px; BORDER-TOP: #aaaaaa 1px solid; PADDING-LEFT: 4px; FONT-WEIGHT: normal; FONT-SIZE: larger; MARGIN-BOTTOM: 0.5em; PADDING-BOTTOM: 4px; BORDER-LEFT: #aaaaaa 1px solid; COLOR: #333333; PADDING-TOP: 4px; BORDER-BOTTOM: #aaaaaa 1px solid; BACKGROUND-COLOR: #DFDF00
}
.inputError {
	BORDER-RIGHT: #FF8000 1px solid; BORDER-TOP: #FF8000 1px solid; MARGIN: 0px; BORDER-LEFT: #FF8000 1px solid; BORDER-BOTTOM: #FF8000 1px solid; COLOR: #FF8000; BACKGROUND-COLOR: #FFFFD7
}
.inputNormal {
	BORDER-RIGHT: #004080 1px solid; BORDER-TOP: #004080 1px solid; BORDER-LEFT: #004080 1px solid; BORDER-BOTTOM: #004080 1px solid; COLOR: #004080; BACKGROUND-COLOR: #efefef
}
.innerError { background-repeat: no-repeat; background-color: white; padding-left: 5px; padding-top: 1px; MARGIN: 0; COLOR: red
 ; }
.innerHelp { background-position: left top; background-repeat: no-repeat; background-color: white; padding-left: 20px; padding-top: 1px; MARGIN: 0; COLOR: #008000
;;}
.syntaxreq {
	COLOR: #A80000
}
.syntaxopt {
	COLOR: #0080C0
}