.title { 
	display:inline;
	background-color:white;
	border:solid;
	top:-0.8em;
	position:relative;
	left:70%;
	width:200px;
	overflow:hidden;
	padding:3px 5px 3px 5px;
	margin-top:0px;
	margin-left:0px;
	color:black;
	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:25px;
	margin-top:25px;
	background:white;
	padding-left:10px;
}


.source {
  font-family: monospace;
  white-space: pre;
  overflow:visible;
  width:90%;
  background:white;
}

.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	;
 background-color:white;
 padding-right:3px;
 padding-left:3px;
 margin-right:5px;
}


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


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

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

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

.identifier {
	display:inline;
}

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

.field {
  display:inline;
}

.number {
  display:inline;
}

.string {
  display:inline;
}

.highlight {
	background-color:rgb(220,220,220); 
}

.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;
  background:#EBEDED;
  border-width:1px;
  border-style:solid;
  font-size:10pt;
  font-family:Arial;
  font-weight:bold
}
a.outline {
  text-decoration:none;
}
a.outline:visited {
  text-decoration:none;
}

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

/**
  * Styles for the navigation box
  *
  **/
div.navigation {
  display:none;
}
input.navigation {
  display:none;
}
button.navigation {
  display:none;
}
img.navigation {
  display:none;
}
/**
  * Styles for the css selection box
  *
  **/
div.skin-box {
  display:none;
}