.wp_syntax {
      color: #555;
      font-family:Verdana;
      font-size: 11px;
      line-height:160%;
      background-color: #f9f9f9;
      border: 1px solid #ccc;
      margin: 0 0 1.5em 0;
      height:400px;
    }

    /* IE FIX */
    .wp_syntax {
      overflow: auto;
      _overflow: scroll;
      padding-bottom: expression(this.scrollWidth > this.offsetWidth ? 15 : 0);
      width: 100%;
    }

    .wp_syntax table {
      border-collapse: collapse;
    }

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

    .wp_syntax .line_numbers {
      text-align: right;
      background-color: #eee;
      border-right:1px solid #ccc;
      color: #999;
      overflow: visible;
    }

    /* potential overrides for other styles */
    .wp_syntax pre {
      margin: 0;
      width: auto;
      float: none;
      clear: none;
      overflow: visible;
    }