.wp_syntax {
	color: #100;
	background-color: #f9f9f9;
	border: 1px solid silver;
	margin: 0 0 10px 0;
	padding: 5px;
	overflow: auto;
	line-height:18px;
	font-size:13px;
}



.wp_syntax table {
	border-collapse: collapse;
}

.wp_syntax div, .wp_syntax td {
	vertical-align: top;  
}

.wp_syntax .line_numbers {
	text-align: right;
	background-color: #ccc;
	color: #000;
	overflow: visible;
	font-family: monospace;
}

/* potential overrides for other styles */
.wp_syntax pre {
	margin: 0;
	width: auto;
	float: none;
	clear: none;
	overflow: visible;
	white-space: pre-wrap; /* css-3 */
	white-space: -moz-pre-wrap !important; /* Mozilla, since 1999 */
	white-space: -pre-wrap; /* Opera 4-6 */
	white-space: -o-pre-wrap; /* Opera 7 */
	word-wrap: break-word; /* Internet Explorer 5.5+ */ 
}