/* General */
body, input, td, th, textarea {
	font-family: Verdana, sans-serif;
	font-size: 10pt;
    }

body {
	height: 100%;
	width: 100%;
	margin: 0;
    }

p {
	margin: 8px 0 16px 0;
    }

h3 {
	font-size: 10pt;
	margin: 0 0 3px 0;
	padding: 0 0 2px 0;
	border-bottom: 1px solid gray;
    }


/* Container */
#container {
	width: 90%;
	margin: 10px auto;
	background-color: #FFF;
	color: #333;
	border: 1px solid gray;
	line-height: 130%;
    }


/* Top box */
#top {
	padding: .5em;
	background-color: #e3e0e0;
	border-bottom: 1px solid gray;
    }

#top h1 {
	font-size: 10pt;
	padding: 0;
	margin: 0;
    }

#top p {
	margin: 0;
	padding: 2px;
	font-style: italic;
    }


/* Navigation */
#nav {
	position: absolute;
	top: 5em;
	width: 220px;
	margin: 0;
	padding: 1em;
    }

#nav ul {
	margin: 0 0 20px 0;
	padding: 0;
	list-style-type: none;
    }

#nav p {
	margin: 0 0 1em 0;
    }

/* Content */
#content {
	font-size: 9pt;
	margin-left: 240px;
	border-left: 1px solid gray;
	min-height: 750px;
	padding: 1em;
	line-height: 12pt;
	max-width: 60em;
    }

#content h2 {
	margin: 0 0 15px 0;
    font-size: 13pt;
    }

#content h3 {
    padding-top: 20px;
    }


/* Source code */
#source {
    font-size: 8pt;
    }

#source ol {
	color: #AAA;
	}

#download {
	border: 0;
	padding: 4px;
	float: right;
	text-decoration: none;
	color: #333;
    }

#download img {
	border: 0;
    }

.bangs {
    list-style-type: none;
    margin-left: 0;
    padding-left: 0;
    }

.bangs em {
    font-style: normal;
    text-decoration: underline;
    }

#synopsis {
	margin: 5px 0 20px 0;
    }

/* Example code */
#output {
	margin-top: 10px;
	background-color: #EEE;
	border: 1px solid #BBB;
	padding: 6px;
    }

code {
	font-family: monospace;
    }

pre {
	margin: 0;
	padding: 0;
    }

table td, table th {
	padding: 5px;
	margin: 1px;
	border: 1px solid #ccc;
	background-color: white;
    }

/* Comments */
#comments {
	margin-top: 20px;
    }

#comments .topfloat {
	float: right;
	font-size: 7pt;
    }

#comments .date {
	color: gray;
	}

#comments .buttons {
	padding-left: 10px;
	}

.submit {
	margin-top: 5px;
	padding: 3px;
    }

input, textarea {
	font-size: 8pt;
    }

textarea {
	width: 250px; height: 50px;
    }

.comment {
	border: 1px solid #CCC;
	padding: 8px;
	margin: 10px 0 10px 0;
    }

.comment .email {
	font-size: 10pt;
	padding-bottom: 6px;
	text-decoration: underline;
    }

.comment .odd {
	background-color: #EFEFEF;
    }

.comment .even {
	background-color: #EFEFEF;
    }

.comment .date {
    float: right;
    }

#comments #add {
	margin-top: 20px;
    }

form {
	margin-left: 1px;
    }

form p {
	margin: 2px 0 2px 0;
    }

#comments a {
	color: #333;
	text-decoration: none;
    }

#comments a:hover {
	text-decoration: underline;
    }

#comments p.error {
	color: red;
    }

#comments span.tip {
	display: block;
	font-size: 7pt;
    }

#comments code {
	display: block;
	padding: 4px;
	background-color: #F6F3FF;
	border: 1px solid #B69DFF;
	}


#index a:link {text-decoration: none; color: white}
#index a:visited {text-decoration: none; color: white}
#index a:hover { text-decoration: none; color: white }