.title { 
  text-align:center;
  font-size:14pt;
  font-weight:bold;
  font-style:italic;
  width:100%;
}

.author {
  text-align:right;
  font-size:12pt;
  font-weight:bold;
  font-style:italic;
}

.source {
  font-family: monospace;
  white-space: pre;
  background:white;
  overflow:scroll;
  float:left;
  width:75%;
  color:black;
}

.doc-comment {
 font-style:italic;
 display:inline;
}

.block-comment {
 font-style:italic;
 display:inline;
}

.comment {
 font-style:italic;
 display:inline;
}

.doc-link {
  text-decoration:none;
  font-weight:bold;
}
.doc-link:hover {
  text-decoration:none;
  font-weight:bold;
}



.line-number {
 font-size:10pt;
 font-style:normal	;
 padding-right:3px;
 padding-left:3px;
 margin-right:5px;
}


.annotation {
 font-weight:bold;
 display:inline;
}


.keyword {
  font-weight:bold;
  display:inline;
}

.identifier {
	display:inline;
}

.operator {
  font-weight:bold;
  display:inline;
}

.field {
	display:inline;
}

.number {
	display:inline;
}

.string {
	display:inline;
}

.boolean {
  font-weight:bold;
  display:inline;
}
.null {
  font-weight:bold;
  display:inline;
}

.highlight {
}

.hidden {
  font-size:14pt;
  text-align:center;
  font-weight:bold;
  padding-top:15px;
  padding-bottom:10px;
}

/**
  * Styles for the outline 
  *
  **/
div.outline {
  width:24%;
  float:right;
  vertical-align:top;
  border-width:1px;
  border-style:solid;
  font-size:10pt;
  font-family:Arial;
  font-weight:bold
}
a.outline {
  text-decoration:none;
  color:black;
}
a.outline:visited {
  text-decoration:none;
  color:black;
}

a.outline:hover {
  text-decoration:underline;
  color:black;
}

/**
  * Styles for the navigation box
  *
  **/
div.navigation {
  border-style:solid;
  border-width:1px;
  float:right;
  width:24%;
  margin-top:5px;
  padding:5px 0px 3px 5px;
  font-size: 11px;
  font-family: Verdana, Arial, Helvetica, sans-serif; 
  font-weight:bold;
}
input.navigation {
  font-size: 11px; 
  font-family: Verdana, Arial, Helvetica, sans-serif; 

}
button.navigation {
  width:40px;
  text-align:center;
  font-size: 11px; 
  font-family: Verdana, Arial, Helvetica, sans-serif; 
  border:  1px solid #202020; 
  margin-top:2px;
  vertical-align:bottom;
}
img.navigation {
  vertical-align:middle;
}
/**
  * Styles for the css selection box
  *
  **/
div.skin-box {
  border-style:solid;
  border-width:1px;
  float:right;
  width:24%;
  margin-top:5px;
  padding:5px 0px 3px 5px;
  font-size: 11px;
  font-family: Verdana, Arial, Helvetica, sans-serif; 
  font-weight:bold;
}