.highlight {
  color: #100;
  background-color: #f9f9f9;
  border: 1px solid silver;
  margin: 0 0 0.5em 0;
  overflow: auto;
}

/* IE FIX */
.highlight {
  overflow-x: auto;
  overflow-y: hidden;
  padding-bottom: expression(this.scrollWidth > this.offsetWidth ? 15 : 0);
  width: 100%;
}

.highlight table {
  border-collapse: collapse;
}

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

.highlight .line_numbers {
  text-align: right;
  background-color: #def;
  color: gray;
  overflow: visible;
  width:12px;
}

.highlight .codelines {
    font-family: Courier New;
    font-size: 9pt;
    line-height: 1.333;
}

/* potential overrides for other styles */
.highlight pre {
  margin: 0;
  width: auto;
  float: none;
  clear: none;
  overflow: visible;
  font-size: 9pt;
  line-height: 1.333;
}

.docutext{
	font-family: Arial;
	font-size: 10pt;
	font-weight:normal;
    line-height:120%;   
    margin-bottom:12px;
}

.docutext p {
    margin: 10px 5px 10px 5px;
}

.docutext .key1 {
    font-weight: bold;
    color: #000;
}

.docutext table th {
    border-bottom: 1px dotted silver;
}

.docutext table td, table th {
    padding: 7px;
}

.docutext ul {
    margin:0px;
    margin-bottom:10px;
    padding-left:10px;
}

.docutext ul li {
    padding:0px;
    line-height: 1.3em;
    /*
    list-style: disc url(/content/img/icons/application_osx_terminal.png) inside;
    border:1px solid red;
    font-family: Verdana, Arial, Helvetica, sans-serif;
    font-size: 12px;
    line-height: 18px;    
    */
}

.docutext .defbox {
    padding:8px 5px 0px 5px;
}

.docutext h3 {
    padding: 0px;
}

.docutext .box {
    margin-bottom: 30px;
}

.docutext .rightRow {
    width:160px;
    float:right;
    font-family: Courier New;
    font-size: 8pt;
    line-height: 1.333;
}
.docutext .leftRow {
    float:left;
}