H1 {
	FONT-SIZE: 150%; COLOR: #993300; FONT-FAMILY: verdana, arial, helvetica, sans-serif
}
#command {
	BACKGROUND-COLOR: #80f0c0
}
#txtFile {
	font-family:monospace; width:70%;
}
#txtExpr {
	font-family:monospace; width:60%;
	FONT-SIZE: 100%;
}
BODY {
	FONT-FAMILY: Verdana
}
DIV#divParse {
	padding-bottom:2ex;
}
DIV#divParse.erreur {
	COLOR: red;
}
DIV#divParse.value {
	margin-bottom:2ex;
/*	PADDING: 2ex;
	BACKGROUND-COLOR: navy; */
 	max-height:20ex;
	overflow:auto;
	white-space:pre;
/*	FONT-SIZE: 100%; */
}
DIV#divResults, DIV#divParse.value {
	BORDER: navy thin solid;
	BACKGROUND-COLOR: gray;
	COLOR: white;
	FONT-FAMILY: 'Lucida Console';
	line-height: 1.2em;
	PADDING: 2ex;
/*	HEIGHT: 100%;
	WIDTH: 100%; */
}
DIV#divResults DIV {
	MARGIN-LEFT: 1em;
}
DIV#divResults A {
	color:white;
	text-decoration:none;
}
DIV#divResults A:hover {
	text-decoration:underline;
}

.context, DIV#divResults A.context {
	COLOR: cyan; BACKGROUND-COLOR: gray
}
DIV#divResults A.puce {
	background: url(Y.gif) no-repeat;
	background-position: bottom left;
	padding-left:10px;
}
SELECT#selHiliteType {
	BACKGROUND-COLOR: gray;
	COLOR: white;
}
BUTTON#btnEval.puce {
	background: gray url(Y.gif) no-repeat;
	background-position: left;
	FONT-FAMILY: 'Lucida Console';
	COLOR: white;
	padding-left:0;
}
.brillance, DIV#divResults A.brillance, BUTTON#btnEval.brillance {
	BACKGROUND-COLOR: gray;
	FONT-FAMILY: 'Lucida Console';
	color:yellow;
}