/* basic */
body, p, td, th, a, a.navlink {
	font-family: "Luxi Sans", "Bitstream Vera Sans", Frutiger, Helevtica, Verdana, Arial, sans-serif;
	font-size: 10pt;
}
h1, h2, h3, .h1, .h2 {
	font-family: "Bitstream Vera Serif", "Luxi Serif", "Adobe Garamond", Garamond, Times, "Times New Roman", serif;
}
h1, .h1 {
	font-size: 24pt;
	font-weight: bold;
}
h2, .h2 {
	font-size: 18pt;
	font-weight: bold;
}

.mono {
	font-family: "Bitstream Vera Sans Mono", "Courier New", Courier, monospaced;
}
.italic {
	font-style: italic;
}
.bold {
	font-weight: bold;
}
.small {
	font-size: 75%;
}

/* nav */
/*.navlink { 
}*/

/* /docs/ */
.toc, .tocH1, .tocH2, .tocH3 {
	font-family: Luxi Sans, Bitstream Vera Sans, Frutiger, Helevtica, Verdana, Arial, sans-serif;
}
.tocH1 {
	text-indent: 0px;
	font-weight: bold;
	font-variant: small-caps;
}
.tocH2 {
	text-indent: 15px;
	font-weight: bold;
}
.tocH3 {
	text-indent: 30px;
}

.tdWidthCMD {
	width: 200px;
}