.title { 
	display:inline;
	top:-0.8em;
	position:relative;
	left:70%;
	width:200px;
	overflow:hidden;
	padding:3px 5px 3px 5px;
	margin-top:0px;
	margin-left:0px;
	background-color:#0000FF;
	color:white;
	font-weight:bold;
	overflow:auto;
}

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

}

.source-block {
  border-width:1px;
  border-style:solid;
  border-color:black;
	font-size:10pt;
	margin-bottom:5px;
	margin-top:5px;
	background:white;
	padding-left:5px;
}


.source {
  font-family: monospace;
  white-space: pre;
  overflow:auto;
  width:100%;
  background:white;
	margin-top:-10px;
}

.doc-comment {
 font-style:italic;
 color:rgb(63,127,95);
 display:inline;
}

.block-comment {
 font-style:italic;
 color:rgb(63,127,95);
 display:inline;
}

.comment {
 font-style:italic;
 color:rgb(63,127,95);
  display:inline;
}

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



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


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


.keyword {
  color : rgb(127,0,85);
  font-weight:bold;
  display:inline;
}

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

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

.identifier {
	display:inline;
}

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

.field {
  color : rgb(0,0,192);
  display:inline;
}

.number {
  color : red;
  display:inline;
}

.string {
  color: darkblue;
  display:inline;
}

.highlight {
	background-color:yellow; 
}

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

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

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

/**
  * Styles for the navigation box
  *
  **/
div.navigation {
  border-style:solid;
  border-width:1px;
  background:#D6FCD6;
  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;
  background-color : #bbd2ee; 
  color : #000000; 
  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;
  background:#D6FCD6;
  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;
}