A:link	{
	Color: #CC6633;
	}

A:active	{
	Color: #8E1A1A;
	}

A:visited	{
	Color: #8E1A1A;
	}

A:hover	{
	Color : #8E1A1A;
	} 

/*ADDRESS	{
	font-family: Arial, sans-serif;
	font-style: normal;
	}
*/
#banner HR	{
	height: 4px;
	border: 2px;
	color: #303030;
	background-color: #303030;
	}

BODY	{
	font-family: Arial, sans-serif;
	Color: #400000;
	background-color: #EEE2D2;
	max-width: 70%;
	margin-left: 15%;
	margin-top: 3%;
	}

.book_title	{
	font-size: 150%;
	font-weight: bold;
	}

.chapter_title	{
	font-size: 110%;
	font-weight: bolder;
	}

.chapter_number	{}

.section_title	{
	font-size: 120%;
	font-weight: bolder;
	}

.section_number	{}

.double_indented        {
        padding-left: 70px;
        text-decoration: none;
        }

.subsection_title       {
        text-decoration: underline;
        }

.download	{
	font-family: monospace;
	font-size: 95%;
	}

H1	{
	color: #CC6633;
	}

/*INPUT	{
	background-color: #201F1F;
	color: #d9d7d5;
	font-family: Helvetica, Courier, serif;
	font-size: 110%;
	}
*/
IMG.center	{
/*actual centering is done with <p align="center"> since 
	margin-left: auto;
	margin-right: auto;
does not seem to work. this is just to ajust things a bit*/
	margin-left: -10%;
	}

IMG	{
	margin: 20px;
	}

IMG.left	{
	float: left;
	margin-right: 15px;
	}

IMG.right	{
	float: right;
	margin-left: 18px;
	}

.indented	{
	padding-left: 40px;
	}

#lower	{
	clear: both;
	}

P.description	{
	font-style: italic;
	}

#sidebar	{
/*style for the left-hand menu bar*/
	max-width: 35%;
	float: left;
	vertical-align: top;
	padding-right: 40px;
	padding-left: 10px;
	font-size: 110%;
	font-weight: bolder;
	}

#sidebar A:link	{
	text-decoration: none;
	}

#sidebar A:visited	{
	text-decoration: none;
	color: #cc6633;
	}

#sidebar A:active	{
	text-decoration: underline;
	color: #8E1A1A;
	}

#sidebar A:hover	{
	text-decoration: underline;
	color: #8E1A1A;
	}

#sidebar HR	{
	color: #303030;
	background-color: #303030;
	height: 2px;
	border: 1px;
	}

#text_body	{
/*style for the main body of the text on the page to the right of the menu bar*/
	float: left;
	clear: none;
	max-width: 63%;
	vertical-align: top;
	}

TEXTAREA	{
	background-color: #201F1F;
	color: #d9d7d5;
	font-family: Helvetica, Courier, serif;
	font-size: 110%;
	}