/*
************************************************************************************* 
* Language independant styles
*************************************************************************************
*/
.title { 
  text-align:center;
  background-color:#80FFFF;
  color:#000390;
  font-size:14pt;
  font-weight:bold;
  font-style:italic;
  width:100%;
}

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

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

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

/*
************************************************************************************* 
* Language dependant styles
*************************************************************************************
*/

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


.doc-comment {
 color:rgb(0,128,128);
 display:inline;
}

.block-comment {
	color:rgb(0,128,128);
	display:inline;
}

.comment {
	color:rgb(0,128,128);
	display:inline;
}

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


.keyword {
  color : rgb(0,0,255);
  display:inline;
}

.boolean {
	color : rgb(0,0,255);
	display:inline;
}

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

.identifier {
	display:inline;
}

.operator {
	color : rgb(0,128,0);
	display:inline;
}

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

.number {
  color : rgb(255,0,0);
  display:inline;
}

.string {
  color: rgb(128,128,128);
  display:inline;
}


/*
************************************************************************************* 
* Hidden and highlighted zones
*************************************************************************************
*/
.highlight {
	background-color:yellow; 
}

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

/*
************************************************************************************* 
* Otulines
*************************************************************************************
*/
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;
}

/*
************************************************************************************* 
* 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;
}