.wp_syntax {
	color           : #100;
	background-color: #f9f9f9;
	border          : 1px solid silver;
	margin          : 0 0 1.5em 0;
	overflow        : auto;
}

/* IE FIX */
.wp_syntax {
	overflow-x    : auto;
	overflow-y    : hidden;
	padding-bottom: expression(this.scrollWidth > this.offsetWidth ? 15 : 0);
	width         : 99%;
}

.wp_syntax table {
	border         : none !important;
	border-collapse: collapse !important;
	margin         : 0 !important;
	padding        : 0 !important;
	width          : 100% !important
}

.wp_syntax caption {
	margin          : 0 !important;
	padding         : 2px !important;
	width           : 100% !important;
	background-color: #def !important;
	text-align      : left !important;
	font-family     : monospace !important;
	font-size       : 12px !important;
	line-height     : 1.2em !important;
}

.wp_syntax caption a {
	color          : #1982d1 !important;
	text-align     : left !important;
	font-family    : monospace !important;
	font-size      : 12px !important;
	line-height    : 16px !important;
	text-decoration: none !important;
}

.wp_syntax caption a:hover {
	color          : #1982d1 !important;
	text-decoration: underline !important;
}

.wp_syntax div, .wp_syntax td {
	border        : none !important;
	text-align    : left !important;
	padding       : 0 !important;
	vertical-align: top !important;
}

.wp_syntax td.code{
	background-color: #EEE;
	background-image: -webkit-linear-gradient( transparent 50%, rgba(255, 255, 255, .9) 50% );
	background-image: -moz-linear-gradient( transparent 50%, rgba(255, 255, 255, .9) 50% );
	background-image: -ms-linear-gradient( transparent 50%, rgba(255, 255, 255, .9) 50% );
	background-image: -o-linear-gradient( transparent 50%, rgba(255, 255, 255, .9) 50% );
	background-image: linear-gradient( transparent 50%, rgba(255, 255, 255, .9) 50% );
	background-size : 1px 32px;
	line-height     : normal !important;
	white-space     : normal !important;
	width           : 100% !important;
}

/* potential overrides for other styles */
.wp_syntax pre {
	background           : transparent !important;
	border               : none !important;
	margin               : 0 !important;
	padding              : 0 !important;
	width                : auto !important;
	float                : none !important;
	clear                : none !important;
	overflow             : visible !important;
	font-family          : monospace !important;
	font-size            : 12px !important;
	line-height          : 16px !important;
	padding              : 0 4px !important;
	white-space          : pre !important;
	-moz-box-shadow      : 0px 0px 0px rgba(0, 0, 0, 0) !important; /* FF3.5+ */
	-webkit-box-shadow   : 0px 0px 0px rgba(0, 0, 0, 0) !important; /* Saf3.0+, Chrome */
	box-shadow           : 0px 0px 0px rgba(0, 0, 0, 0) !important; /* Opera 10.5, IE 9.0 */
	-webkit-border-radius: 0 !important;
	-moz-border-radius   : 0 !important;
	border-radius        : 0 !important;
}

.wp_syntax td.line_numbers pre {
	background-color: #def !important;
	color           : gray !important;
	text-align      : right !important;
	width           : 16px !important;
}