.CodeMirror-wrapping {background:white;font-family: Tahoma,Arial,Helvetica,'Sans Serif' !important;font-size:12px !important;}
.CodeMirror-line-numbers {
        width: 2.2em;
        color: #aaa;
        background-color: #eee;
        text-align: right;
        padding-right: .3em;
        font-size: 10pt;
        font-family: monospace;
        padding-top: .4em;
        line-height: normal;
      }

.CodeMirror-wrapping h1 {
  letter-spacing: -3px;
  font-size: 3.23em;
  font-weight: bold;
  margin: 0;
}

.CodeMirror-wrapping h2 {
  font-size: 1.23em;
  font-weight: bold;
  margin: .5em 0;
  letter-spacing: -1px;
}

.CodeMirror-wrapping h3 {
  font-size: 1em;
  font-weight: bold;
  margin: .4em 0;
}

.CodeMirror-wrapping pre {
  font-family: Courier New, monospaced;
  background-color: #eee;
  -moz-border-radius: 6px;
  -webkit-border-radius: 6px;
  border-radius: 6px;
  padding: 1em;
}

.CodeMirror-wrapping pre.code {
  margin: 0 1em;
}

.CodeMirror-wrapping .grey {
  font-size: 2em;
  padding: .5em 1em;
  line-height: 1.2em;
  margin-top: .5em;
  position: relative;
}

.CodeMirror-wrapping img.logo {
  position: absolute;
  right: -25px;
  bottom: 4px;
}

.CodeMirror-wrapping a:link, .CodeMirror-wrapping a:visited, .CodeMirror-wrapping .quasilink {
  color: #df0019;
  cursor: pointer;
  text-decoration: none;
}

.CodeMirror-wrapping a:hover, .CodeMirror-wrapping .quasilink:hover {
  color: #800004;
}

.CodeMirror-wrapping h1 a:link, .CodeMirror-wrapping h1 a:visited, .CodeMirror-wrapping h1 a:hover {
  color: black;
}

.CodeMirror-wrapping ul {
  margin: 0;
  padding-left: 1.2em;
}

.CodeMirror-wrapping a.download {
  color: white;
  background-color: #df0019;
  width: 100%;
  display: block;
  text-align: center;
  font-size: 1.23em;
  font-weight: bold;
  text-decoration: none;
  -moz-border-radius: 6px;
  -webkit-border-radius: 6px;
  border-radius: 6px;
  padding: .5em 0;
  margin-bottom: 1em;
}

.CodeMirror-wrapping a.download:hover {
  background-color: #bb0010;
}

.CodeMirror-wrapping .rel {
  margin-bottom: 0;
}

.CodeMirror-wrapping .rel-note {
  color: #777;
  font-size: .9em;
  margin-top: .1em;
}

.CodeMirror-wrapping .logo-braces {
  color: #df0019;
  position: relative;
  top: -4px;
}

.CodeMirror-wrapping .blk {
  float: left;
}

.CodeMirror-wrapping .left {
  width: 37em;
  padding-right: 6.53em;
  padding-bottom: 1em;
}

.CodeMirror-wrapping .left1 {
  width: 15.24em;
  padding-right: 6.45em;
}

.CodeMirror-wrapping .left2 {
  width: 15.24em;
}

.CodeMirror-wrapping .right {
  width: 20.68em;
}

.CodeMirror-wrapping .leftbig {
  width: 42.44em;
  padding-right: 6.53em;
}

.CodeMirror-wrapping .rightsmall {
  width: 15.24em;
}

.CodeMirror-wrapping .clear:after {
  visibility: hidden;
  display: block;
  font-size: 0;
  content: " ";
  clear: both;
  height: 0;
}
.CodeMirror-wrapping .clear { display: inline-block; }
/* start commented backslash hack \*/
.CodeMirror-wrapping .clear { display: block; }
/* close commented backslash hack */