body
{
	background-color:#CCCCCC;
	margin: 0 auto;
	width: 848px;
	padding: 0px;
}

/* adjustment for IE5 */

body {
	font-size: small; /* IE5 Win */
  	voice-family: "\"}\""; 
  	voice-family: inherit;
  	font-size: small;
	font-family: Arial, Helvetica, sans-serif;
	}

html>body { /* be nice to Opera */
}
h1, h2, h3, h4
{
	margin: 0px;
	color:#000000;
}

h1
{
	font-size: 170%;
}
h2
{
	font-size: 120%;
}
h3
{
	font-size: 100%;

}

ul
{
	margin:0px 0px 0px 15px;
	padding: 5px;
	list-style: outside disc;
}

hr
{
margin:0px;
padding:0px;
}

.heading_spacer /* to add margin when heading appears within body text */
{
	margin-top: 10px;
}

p
{
	text-indent: 1em;
	margin: 0px;
}

dl, dd, dt
{
	margin: 0px;
	padding: 0px;
}

dl
{
	margin-bottom: 5px;
}
	
.first
{
	text-indent: 0em;
}

.padding
{
	padding: 10px 8px 8px 8px;
}

.right
{
	float: right;
}

.left
{
	float: left;
}
small
{
	font-size: 80%;
}
.sub_link
{
	text-align: center;
	padding: 2px 0px 5px 0px;
	margin-top: 8px;
}
.caption
{
	font-size: 85%;
	font-family:"Courier New", Courier, mono;
	text-indent: 0px;
}
.center
{
	text-align: center;
	padding: 3px;
}

/* fix for faux collumns with background image */
	
		.clearfix:after {
		  content: ".";
		  clear: both;
		  height: 0;
		  visibility: hidden;
		  display: block;
		}
		.clearfix {
		  display: inline-block; /* Fixes IE/Mac */
		}
		/* Hides from IE-mac \*/
		* html .clearfix {height: 1%;}
		.clearfix {display: block;}
		/* End hide from IE-mac */	
		/* main heading and navigation styling */
		
		
/* heading and navigation formatting */

#heading
{
width: 100%;
margin: 0;
background-color:#E4C872;
border: 1px #000000 solid;
}

#mainnav
{
	border-bottom-color: #000000;
	background-color:#FFFFFF;
}
.head_nav
{
	margin: 35px 0 0 220px;
	position:absolute;
}

a.headlink:link
{
	font-style: normal;
	font-family:Arial, Helvetica, sans-serif;
	font-size: 85%;
	font-weight: normal;
	text-decoration: none;
	color:#000000;
}
a.headlink:visited
{
	font-style: normal;
	font-family:Arial, Helvetica, sans-serif;
	font-size: 85%;
	font-weight: normal;
	color:#666666;
	text-decoration: none;
}
a.headlink:hover
{
	font-family:Arial, Helvetica, sans-serif;
	text-decoration: underline;
	font-style: normal;
	font-size: 85%;
	font-weight: normal;
}

#mainnav
{
	float: left;
	list-style: none;
	font-family:Arial, Helvetica, sans-serif;
	font-size: 110%;
	font-weight: bold;
	padding: 0px;
	margin: 0px;
	border-left: 1px #000 solid;
	border-right: 1px #000 solid;
	border-bottom-width: thick;
	border-bottom-style: solid;
	border-bottom-color:#000000;
	width: 100%;
	position: relative;
}
.nav_form
{
	margin: 0px;
	float:left;
	padding: 4px 8px;
	display:block;
	border-right:#000000 1px solid;
	border-bottom:#000000 1px solid;
	font-size: 100%;
}

.selected
{
	margin: 0;
	float:left;
	padding: 4px 8px;
	display: block;
	color:#FFFFFF;
	background-color:#000000;
	font-size: 100%;
	border-bottom:#000000 1px solid;
}

/* formatting for Home link on home */
a.home:link, a.home:visited
{
	text-decoration: none;
	color:#FFFFFF;
}
a.home:hover
{
	text-decoration: underline;
}

/* formatting for Home link from subpages */

	a.nav_home:link, a.nav_home:visited
	{
		padding: 0px;
		color:#000000;
		text-decoration: none;
	}
	a.nav_home:hover, a.nav_home:hover
	{
		padding: 0px;
		color:#666666;
		text-decoration: underline;
	}

/* Main navigation link formatting */
	
	a.nav_coop:link, a.nav_coop:visited
	{
		display: block;
		color:#CC6600;
		text-decoration: none;
	}
	a.nav_coop:hover
	{
		display: block;
		color:#993300;
		text-decoration: underline;
	}
	a.nav_c:link, a.nav_c:visited
	{
		display: block;
		color:#5D855D;
		text-decoration: none;
	}
	a.nav_c:hover
	{
		display: block;
		color:#003300;
		text-decoration: underline;
	}
	a.nav_other:link, a.nav_other:visited
	{
		display: block;
		color:#508CD4;
		text-decoration: none;
	}
	a.nav_other:hover
	{
		display: block;
		color:#000066;
		text-decoration: underline;
	}

.search
{
	padding: 0px;
	margin: 0;
	float: right;
}

form#search, input
{
	padding: 0;
	margin: 0;
	display: inline;
 }
 
form { margin: 0 }

/* end main navigation formating */

/* Footer formatting */

#footer
{
	font-family: Arial, Helvetica, sans-serif;
	clear: both;
	text-align: center;
	padding: 15px 0px;
}
a.footer:link
{
	font-size: 80%;
	color: #000;
	font-weight: bold;
	text-decoration: none;
}
a.footer:visited
{
	color:#333333;
	font-size: 80%;
	text-decoration: none;
}
a.footer:hover
{
	text-decoration: underline;
	color:#666666;
	font-size: 80%;
}
	
#copyright
{
	font-family: Arial, Helvetica, sans-serif;
	text-align: center;
	font-size:80%;
}

/* URL path guide formatting */

.path
{
	clear: both;
	font-family:Arial, Helvetica, sans-serif;
	padding: 10px 0px 0px 10px;
	margin: 0px;
	font-size: 85%;
}

a.path:link
{
	color:#000000;
	font-size:100%;
}

/* subpage main layout formatting */

#sub_body
{
	margin: 0px;
	padding: 5px 10px 5px 0px;
}
.sub_content, .sub_content_min
{
	margin: 0px;
	padding: 10px;
	background-color:#FFFFFF;
	border:#336033 2px solid;
	margin-bottom: 5px;
}

/* to set minimum height to pages where the content is small */

.sub_content_min
{
	min-height:550px; 
	height:auto;
}

/* for setting min-height in Internet Explorer */
/*\*/
* html .sub_content_min {
height: 550px;
}
/**/

#navigation
{
	margin: 0px;
	padding: 0px;
	float: left;
	width: 210px;
	padding-top: 22px;
}
#nav_list
{
	font-family:Arial, Helvetica, sans-serif;
	font-size: 105%;
	list-style: none;
	text-align: right;
	margin: 0px;
	padding-right: 5px;
	line-height:220%;
}

.sub_content h1
{
	font-size: 170%;
}


#graphic
{
	float: left;
}

.sub_content dl
{
	margin: 0px;
	padding-top: 0px;
}
	
.intro /* large text for intro text like on cpp.html */
{
	font-size: 115%;
	font-style: normal;
}
/* two collumn formating for subpages */

#sub_container
{
	float: right;
	width: 615px;
	padding: 5px;
}

/* Code samples formatting */

pre
{
	font-family : "Courier New", Courier, monospace;
	font-size: small;
	padding: 5px;
	margin: 5px 15px 10px 15px;
	background-color:#B0C2A3;
}

.green
{
	color:#009933;
	font-style: normal;

}
.blue
{
	color: #003399;
	font-style: normal;
	font-weight: bold;
}
.pink
{
	color:#CC0000;
	font-style: normal;
}
.code_hilite
{
	padding: 5px;
	margin: 10px 15px 10px 15px;
	background-color:#FFFFCC;
	border:#006600 1px solid;
}

/* formatting for solo pages in home directory. */

.solo_container
{
	margin: 0px;
	padding: 30px;
}
.inner /*formatting for highest level non-categorized pages like about.html, contact.html */
{
	width: 700px;
	background-color:#FFFFFF;
	padding: 10px;
	margin-bottom:5px;
}

/*float fixes */

.floatfix
{
	display:inline-block;
}

.floatfix:after {
  content: ".";
  clear: both;
  height: 0;
  visibility: hidden;
  display: block;
}

.download
{
	margin: 10px;
}

/* Teaser on Co-op main page and C++ in Action Main page */
.teaser, .teaser_end
{
	margin: 0px;
	padding:0px 5px;
	width: 184px;
	float:left;
}
.teaser
{
	border-right: #000000 1px solid;
}
.teaser_end
{
	padding-left: 10px;
}

.teaser dt, .teaser_end dt
{
	color:#000000;
	background-color:#FFFFFF;
	font-weight: normal;
	font-size:120%;
	padding-bottom: 5px;
}

#tease_wrap
{
	clear:both;
	display:inline-block;
}
#tease_wrap:after 
{
  content: ".";
  clear: both;
  height: 0;
  visibility: hidden;
  display: block;
}

/* formating for ads */

.ad
{
	margin-top: 30px;
	float:right;
	padding-right: 5px;
	width: 165px;
}
.ad_horiz
{
	width: 500px;
	margin: 0 auto;
}

.ad .padding, .ad_horiz .padding
{
	border: solid #000 1px;
	background-color: #FFFFFF;
}
.ad small, .ad_horiz small
{
	padding: 2px;
	color: #FF0000;
	
}

.ad p, .ad_horiz p
{
	text-indent: 0em;
	font-size:85%;
}
.ad table, .ad_horiz table
{
	margin: 2px;
	margin: 0 auto;
}