var {
	font-style:italic;
	color:#600;
}
code {
	font-style:normal;
	font-size:12px;
	//font-size:120%;
	color:#600;
}
pre {
	padding:0 0 0.7em 2em;
	margin:0;
	font-size:12px;
	//font-size:90%;
	color:#003366;
}
dl {
	margin:0;
	padding:0;
}
dt {
	font-style:italic;
	color:#600;
}
dd,dt {
	padding-bottom:0.7em;
}
dd p {
	padding:0;
	margin:0;
}
h4 em {
	font-size:2em;
	font-style:normal;
	color: #939A9F;
}