body {
  font-family: "Lucida Grande",Verdana,Lucida,Helvetica,Arial,sans-serif;
  color: black;
  background-color: white;
  font-size: 80%;
}

h1,h2,h3 {
	border-bottom-width:1pt;
	border-bottom-style:solid;
}
h2 {   
	margin-top: 1.5em;
	margin-bottom:.5em;
}
h3 div.object {
	margin-top:1em;
	font-size: 17px;
}
h3 div.category {
	margin-top: .7em;
	font-size: 16px;
}
h4 {
	margin-top: .5em;
	margin-bottom:.2em;
	font-size: 14px;
}
h5 {
	margin:0;
	font-size: 12px;	
}

em.u {
	text-decoration:underline;
}


div.level2, div.level3 {
	margin-left:2em;	
}

div.li{
	color:black;
}

/* -------- Header -------- */

div.header {
	padding: 3px 0px 0px 2px;	
	border-bottom-width:2pt;
	border-bottom-style:solid;
}


div.pageheader {
	float: left;
	font-size: 200%;
	font-weight: bolder;
	text-align: left;
	vertical-align: middle;
}


span.pagename {
	text-decoration: none !important;
}

div.logo {
	float: right;
	font-size: 220%;
	font-weight: bolder;
	text-align: right;
	vertical-align: middle
}

div.logo a {
	font-variant: small-caps;
	letter-spacing: 2pt;
	text-decoration: none !important;
}

div.clearer{
	clear: both;
	height: 0px;
	line-height: 0;
	overflow: hidden;
}

/* -------- Page -------- */

div.page {
	margin:4px 2em 0 1em;
	text-align:justify;
}

span.pm {
	font-weight: bolder;
	font-decoration: none;
}

div.undoc {
	color:rgb(240,20,50); !important;
}
span.undoc {
	color:rgb(240,20,50) !important;
}
p{
	margin-top:.2em;
	margin-bottom:.5em;
}

ul{
	margin-top:.5em;
	color: rgb(99, 140, 156);
	line-height: 1.5em;
	list-style-image: none;
	list-style-type: square;

	padding:0;
	margin-left:1.5em;

}
li {
	margin-bottom:.7em;
}

li.args {
	margin-top:0;
	margin-bottom:0;	
}

ul.ext{
	margin-top: 1em;
	padding-left: 2em;
}
ul.ext li {
	margin-bottom: 0;
	font-weight: normal;
	font-size: 90%;
}

div.author {
	margin-left: 2em;
	font-size: 12px;	
	margin-top: .5em;
}


/* -------- Unfolding -------- */

ul.unfoldable{
	list-style-image:none;
	list-style-type:none;
	
	padding: 0;
	margin-left: 2em;
}

div.icon {
	width:20px;
	float:left;
	cursor:pointer;
	
	background-image:url(images/plus.png);
	background-position: 0 5px;
	background-repeat:no-repeat;
}

div.unfoldable {
	margin-left:20px;
}


/* -------- Table for index -------- */

table {
	border-spacing: 0px 0px;
	background-color: white;
	border-collapse: collapse;
	vertical-align: middle;
	
	display: table;
	font-size: 13px;
	margin-bottom: 12px;
	margin-left: 0px;
	margin-right: 0px;
	margin-top: 0px;
	padding-bottom: 0px;
	padding-left: 0px;
	padding-right: 0px;
	padding-top: 0px;
}

th {
	font-weight: bold;
}

th, td {
	border: 1px solid;
	padding: 3px;	
	display: table-cell;
}


/* -------- Table for arguments -------- */

table.args {
	margin: 0 0 0 0;
}

table.args tbody {
	vertical-align: top;
}

table.args td{
	border: 0;
	padding: 3px;
}


/* -------- Navigation Box -------- */

div.nav {
	clear:both;
	float:right;
	font-size:80%;
	margin:1.2em 0 0 2em;
	width:200px;
}

div.navheader {
	border:1px solid;
	font-weight:bold;
	margin-bottom:2px;
	padding:3px;
	text-align:left;
}

div.nav_inside {
	background-color: white;
	border:1px solid;
	padding:0.5em 0 0;
	text-align:left;
}

ul.nav {
	line-height:1.2em;
	list-style-image:none;
	list-style-type:none;
	margin:0;
	padding-left:1em;
}

ul.nav li {
	background:transparent url(images/tocdot2.png) no-repeat scroll 0 0.6em;
	padding-left:0.6em;
}


/* -------- Links -------- */

a {
	color: rgb(0, 153, 0);
	text-decoration: none;
}
a:visited {
	color: purple;
}
a:hover {
	color: rgb(0, 0, 0);
}

h2 a, h2 a:visited, a.javalink {
	color: black;
	text-decoration:none;
}
h2 a:hover, a.javalink:hover {
	color: rgb(0, 153, 0);
}

a.ambiguous:before {
        text-decoration: bold;
        color: rgb(255, 0, 0);
        content: "AMBIGUOUS REF: "
}

a.invalid:before {
        text-decoration: bold;
        color: rgb(255, 0, 0);
        content: "INVALID REF: "
}


/* -------- Set Colours -------- */

/* description */
span.pagename, div.descr {
	color: rgb(67, 105, 118) ! important;
}

/* border lines */
th, td, h1, h2, h3, div.header, div.navheader, div.nav_inside {
	border-color: rgb(140, 172, 187);
}

/* cell background colour */
th, div.navheader {
	background-color: rgb(222, 231, 236);
}

/* parameters */
em.param, table.args td.param {
	color: rgb(180,0,0);
}

/* page header */
div.pageheader, div.logo a {
	color: rgb(222, 231, 236) !important;
}

/* used colours 

darkest blue:		rgb(67, 105, 118)	descriptions, header, border below header
middle blue:		rgb(99, 140, 156)	not used at the moment
lighter blue:		rgb(140, 172, 187)	border lines
very light blue:	rgb(222, 231, 236)	logo, table cell background-color
green:				rgb(0, 153, 0)		links
purple:				purple				visited links
dark red:			rgb(150,0,0)		parameters
bright red			rgb(255,0,0)		warnings, etc.
*/
