pre {
 font-size:.8em;
 _font-size:.8em;
 clear: left;
 max-width: 46em;
 line-height:1em;
 

 white-space:-moz-pre-wrap;
 white-space:pre-wrap;
 word-wrap:break-word;  /*IE */ 
}

pre.block {
 margin-top:0.5em;
}

code {
 font-family:"lucida console",monaco,courier,system;
 font-size:.8em;
 color:#003366;
}

code span {
 color:#666;
}


pre,
code,
pre code,
.code,
.code-block,
dt, ul li ul li {
  font-family:"DejaVu Sans Mono","DejaVuSansMonoBook",monaco,"Andale Mono","VT-100","Lucida Console","Courier New",monospace,courier,system,sans-serif;
}

pre,
code,
.code,{
  font-weight:normal;
  line-height:auto;
  color:#006699;
  background:#f6fcff;
}

pre code {
  /* don't scale further down, of course... */
  font-size: 100%;
}



pre.specialcommentblock span span {
  *line-height:1.75em;
}

.block.small {
  font-size:92%;
}

p pre,
p.in pre {
  font-size:0.97em;
}

dd pre,
dd code {
  background:transparent;
}

pre code {
  font-size:1em;
}

ul.code-block em,
pre span,
code span,
dt span {
  color:#339933;
}

ul.code-block em {
  font-style: normal;
}

ul.code-block span,
pre span span,
code span span,
dt span span {
  color:#667788;
}

pre.block,
pre.block code,
div.block div.code,
ul.code-block {
  position:relative;
  display:table;
  *display:block;
  
}

div.block,
pre.block {
 /* background:#e9f3ff;
  border-color:#eee;
  padding:3px; */
}

pre.block code,
.block .code {
  
  /*border:1px solid #ccddee;*/
  padding:0.5em;
  font-size: 100%;
  line-height:1.75em;
  background-image: -webkit-linear-gradient(#fcfcfc 50%, #fff 50%);
  background-image: -o-linear-gradient(#fcfcfc 50%, #fff 50%);
  background-image: linear-gradient(#fcfcfc 50%, #fff 50%);
  background-size: 100% 3.5em;
  background-origin: content-box;
}

#sm2-properties .code {
 /* special case: no zebra striping for this one. */
 background-image: none;
}

pre.block code {
  padding: 1em;
}