.wp_syntax {
  color: #100000;
  background-color: #f9f9f9;
  border: 1px solid #cccccc;
  margin: 0 0 18px 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 div, .wp_syntax td {
  vertical-align: top;
  padding: 2px 4px;
}

.wp_syntax pre,
.wp_syntax pre tt,
.wp_syntax pre span {
  font-size: 12px;
  font-family: "Bitstream Vera Sans Mono", Monaco "Lucida Console", "Courier New", Courier, Serif;
  line-height: 17px;
}

.wp_syntax pre tt {
  font-weight: bold;
}

.wp_syntax .line_numbers {
  text-align: right;
  background-color: #d8ecf8;
  color: #999999;
}

/***********************************************/
/* Common colors
/***********************************************/

.wp_syntax .kw1 {color:#000000; font-weight:bold;}
.wp_syntax .kw2 {color:#800000;}
.wp_syntax .kw3 {color:#000000;}
.wp_syntax .kw4 {color:#800000;}
.wp_syntax .kw5 {color:#000000;}
.wp_syntax .co1 {color:#808080; font-style:italic;}
.wp_syntax .coMULTI {color:#808080; font-style:italic;}
.wp_syntax .es0 {color:#000099;}
.wp_syntax .br0 {color:#000000;}
.wp_syntax .sy0 {color:#000000;}
.wp_syntax .st0 {color:#dd0000;}
.wp_syntax .nu0 {color:#0000ff;}
.wp_syntax .me1 {color:#000000;}
.wp_syntax .re0 {color:#000080;}
.wp_syntax .re1 {color:#000080;}
.wp_syntax .re2 {color:#800000;}
.wp_syntax .re3 {color:#dd0000;}