/* Body */

	body {
		background: #fff;
		color: #000;
	}

	#mainContent, #side {
		background: #fff;
		line-height: 1.3; /* value other than 'normal' needed for WinIE */
		color: #000;
	}
	.deepLevel #mainContent {
		line-height: 1.4;
	}

/* Random HTML Styles */

	hr {
		height: 1px;
		background-color: #000;
		color: #000;
		margin: 2em 0;
	}

	input[type="submit"] {
		font-weight: bold;
	}

/* General Structure */
    body, td, th, input { /* redundant rules for bad browsers  */
            font-family: verdana, sans-serif;
            font-size: x-small;
            voice-family: "\"}\"";
            voice-family: inherit;
            font-size: small;
    }

	h1, h2, h3, h4, h5, h6 {
		margin: 1em 0 0.2em 0;
		border-bottom: 1px solid #ccc;
		font-family: arial, verdana, sans-serif;
	}

	#header h1 { border: 0; }

	h1 { font-size: 160%; font-weight: normal; }
	h2 { font-size: 150%; font-weight: normal; }
	h3 { font-size: 120%; }
	h4 { font-size: 100%; }
	h5 { font-size: 90%; }
	h6 { font-size: 90%; border: 0; }

/* Navigation */

        :link { color: #039; }
        :visited { color: #636; }
        :link:hover, :visited:hover { color: #333; }
        :link:active, :link:active { color: #000; }


/* Code */

.code {
	width: 100%;
	background-color: #F6F6F6;
	border: 2px outset GhostWhite;
	padding-left: 3px;
	padding-right: 3px;
	padding-top: 3px;
	padding-bottom: 3px;
}



/*
	pre.code {
		background: #EEECF6;
	}

	code > em,
	code > strong,
	pre.code > em,
	pre.code > strong {
		font-style: normal;
	}
*/

/* Examples and Figures */

	div.example {
		border-color: #554FA0;
	}
	div.example::before {
		color: #666;
	}

/* Tables */

	table.data {
		border-style: none hidden;
	}

	table.data thead {
		 background: #EEECF6;
	}

	table.data th,
	table.data td {
		border: 1px dotted #D6CCBD;
	}

	tr.odd {
		background: #F5F5F5;
	}

/* Meta */

	address {
		color: #666;
	}

/* Icon Part */
        p.icon {
		text-align: center;
	}
	h1.icon, h2.icon, h3.icon, h4.icon, h5.icon, h6.icon {
		border-bottom: none;
		text-align: center;
	}

/* caution box (used by cvs web frontend) */
.cautionbox  {
	border: solid 1px;
	background: rgb(255, 180, 180);
	margin: 1.6em 1.2em 1.6em 1.2em;
	padding: 0.6em 0.6em 0.6em 0.6em;
}