.wp_syntax, .wp_syntax:hover {
  color: #100;
  background-color: silver;
  border: 1px solid silver;
  margin: 1.3em 0 1.3em 0;
  overflow: auto;
  overflow-y: hidden;
  padding-bottom: expression(this.scrollWidth > this.offsetWidth ? 15 : 0);
  width: 99%;
}

.wp_syntax span, .wp_syntax span:hover {
  font-family: monospace;
}

.wp_syntax table, .wp_syntax table:hover {
  border-collapse: collapse;
  border: 0;
  margin: 0;
  padding: 0;
}

.wp_syntax tr, .wp_syntax tr:hover {
  border-collapse: collapse;
  border: 0;
  margin: 0;
  padding: 0;
}

.wp_syntax tr td, .wp_syntax tr:hover td {
  border-collapse: collapse;
  border: 0;
  margin: 0;
  padding: 0;
}

.wp_syntax div, .wp_syntax td, .wp_syntax th {
  vertical-align: top;
  padding: 0;
  border: 0;
  margin: 0;
  padding: 0;
}

.wp_syntax .line_numbers,.wp_syntax .line_numbers:hover {
  text-align: right;
  background-color: #def;
  color: gray;
  overflow: auto;
  border: 0;
  margin: 0;
  padding: 0;
}

.wp_syntax .line_numbers pre, .wp_syntax .line_numbers pre:hover {
	background-color: #def;
	padding-left: 6px;
	padding-right: 6px;
}

.wp_syntax code, .wp_syntax code:hover {
  margin: 0;
  border: 0;
  padding: 0;
}

.wp_syntax pre, .wp_syntax pre:hover {
  background-color: #f9f9f9;
  margin: 0;
  border: 0;
  width: auto;
  float: none;
  clear: none;
  overflow: auto;
  font-family: monospace;
  font-size: 1.0em;
  line-height: 1;
  white-space: pre;
  padding: 8px;
}