.wp_syntax {
	color: #100;
	background-color:#F0F3FF;
	border-left: 2px solid #073874;
	margin: 0 0 1.5em 0;
	padding:10px;
	font-family: "Consolas", "Courier New", Courier, mono, serif;
	font-size: 12px;
	padding-bottom: expression(this.scrollWidth > this.offsetWidth ? 15 : 0);
	width: 95%;
	width: 99%;
	overflow: auto;
	margin: 0px 0 18px 0 !important;
}

.wp_syntax div {
	vertical-align: top;
	margin:5px 0;
	padding: 2px 4px;
}

.wp_syntax pre {
	margin: 0;
	width: auto;
	float: none;
	clear: none;
	overflow: visible;
	font-size: 12px;
	line-height: 1.6;
}