.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: 100%;
}

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

.wp_syntax caption {
  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: none !important;
	line-height: normal !important;
	white-space: normal !important;
	width: 95% !important;
	padding-left: 4px !important;
}

/* potential overrides for other styles */
.wp_syntax pre {
	background: transparent !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;
	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;
	padding: 1px 4px 0px 4px !important;
	-webkit-user-select: none !important; /* Chrome/Safari */        
	-moz-user-select: none !important; /* Firefox */
	-ms-user-select: none !important; /* IE10+ */
}