.wp_syntax {
	/*color: #666666;*/
	background-color: rgb(250, 250, 250);
	border-left:	1px solid rgb(230, 230, 230);
	border-top:		1px solid rgb(230, 230, 230);
	border-right:	1px solid rgb(190, 190, 190);
	border-bottom:	1px solid rgb(190, 190, 190);
	margin: 0 0 1.5em 0;
	overflow: auto;
}

.wp_syntax table {
	border-spacing: 0px;
}

.wp_syntax div, .wp_syntax td {
	padding: 0px;
	margin: 0px;
}
.wp_syntax td {
	padding: 2px 8px;
	margin: 0px;
}

.wp_syntax .line_numbers {
	text-align: right;
	background-color: rgb(240, 240, 240);
	overflow: visible;
}

.wp_syntax .code {
	color: rgb(100, 100, 100);
}

.wp_syntax pre {
	margin: 0px;
	width: auto;
	float: none;
	clear: none;
	overflow: visible;
	
	font-size: 12px;
	font-family: "Andale Mono", monospace, sans-serif;
}