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

/* 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-collapse: collapse !important;
}

.wp_syntax div, .wp_syntax td {
  vertical-align: top !important;
  padding: 2px 4px !important;
}

.wp_syntax .line_numbers {
  text-align: right !important;
  background-color: #def !important;
  color: gray !important;
  overflow: visible !important;
}

/* potential overrides for other styles */
.wp_syntax pre {
  margin: 0 !important;
  width: auto !important;
  float: none !important;
  clear: none !important;
  overflow: visible !important;
  font-size: 12px !important;
  line-height: 1.333 !important;
  white-space: pre !important;
}