body	{
	color: #000;
	background: #fff;
	margin: 0;
	padding: 0;
	
	}
	
a, a:link, a:visited, a:active {
	text-decoration : none;
	}

a:hover {
	text-decoration : underline;
	}

/* Basic Header definitions */
h1, h2, h3, h4, h5, h6	{
	font-family: Georgia, "New Century Schoolbook", Times,serif;
    padding: 3px 2ex 3px 2ex;
	}

h1	{
	font-size: 1.5em;
	font-weight: bold;
	text-align: center;
	margin: 1em 0em 0.6em 0em;
	color:#009;
	}

h2	{
	font-size: 1.2em;
	font-weight: bold;
	margin: 0.5em 0em 0.5em 0em;
	color:#009;
	}
	
h3	{
	font-size: 1em;
	background-color:#36c;
    margin: 1em 0em 0.5em 0em;
	color:#FFFFFF;
    }	
	
h4	{
    margin: 1em 2ex 0.5em 2ex;
	color:#009;
    padding: 3px 0ex 0px 0ex;
	border-bottom: 1px solid #009;
	font-size: 1.1em;
		}	
	
h5, h6	{
    margin: 0.5em 0em 0.2em 0em;
	color:#009;
	font-size: 0.95em;
		}	
	
p, td, li, ul, ol, dl, dt, dd{
	font-family: Georgia, "New Century Schoolbook", Times, serif;
	text-align: left;
	}
	
td{
/*	padding: 0ex 2ex 0ex 2ex;*/
    margin: 0em 0em 0.5em 0em;
	}
	
ul,ol{    margin: 0em 0em 0.5em 1em;}
	
li, dt, dd{
	padding: 0ex 2ex 0ex 1ex;
    margin: 0em 2em 0.5em 0em;
	}
li ol li{
	margin: 0.5em 2em 0.5em 0em;
	}	
ul ul li{
	margin: 0.5em 2em 0.5em 0em;
	list-style-type: square;
	}	
p{
	padding: 0ex 2ex 0ex 2ex;
    margin: 0.2em 0em 0.8em 0em;
	}	
	
	
/* Code and pseudo special appearance */
code {
	font-family: "Courier New", Courier, monospace;
	font-weight: bold;
}
    
.trace {
  text-align: left;
  border-top: 2px;
  margin-left: auto;
  margin-right: auto;
}
   
.code {
  font-family: "Courier New", Courier, monospace;
  background-color: #F3F3FF;
  margin: 0.5ex 5ex 0.5ex 5ex;
  padding: 1ex 3ex 1ex 3ex;
  font-size: 0.95em;
  font-weight: 500;
 }

pre {
  font-family: Courier New,Courier,monospace;
 }
 
/* Color definitions for specific array elements */
.swapped {
  font-weight: bold;
  background-color: #AAFFAA;
}

.presorted {
  font-weight: bold;
  background-color: #00FF00;
}

.final {
  font-weight: bold;
  background-color: #999999;
  color: #FFFFFF
}

.compared {
  font-weight: bold;
  background-color: #FFFFCC;
}

.minimum {
  font-weight: bold;
  background-color: lightBlue;
}

.other  {
  font-weight: bold;
  background-color: white;
}
	
/* Basic page divisions */

#content {
	width:100%;
	margin: 0% 0% 0% 0%;
	}

#content td{
	text-align: left;
	vertical-align: top;
	/* padding: 0% 2% 0% 2%; */
}
	
/***************  Navigation bar components ******************/
#nav	{
	background: white;
	color: #009;
	width: 100%;
	}

#nav td	{
	font: 11px verdana, arial, sans-serif;
	text-align: center;
	line-height: 2em;
	padding: 0;
	margin: 0;
	}

#jhave{
	/*text-align: left;*/
	font-size:25px;
	font-weight: bold;
	font-style: italic;
	color:#006;
	margin: 0.25em 0 0 0;
	padding: 0;
} 
#nav td a	{
	font-weight: normal;
	text-decoration: none;
	display: block;
	color:white;
	padding: 0;
	margin: 0;
	background:#333;
	width: 100%;
	}

#nav td a:hover {
	background: #999;
	} 

.banner{
	background: url(graphics/title_bg2.gif);
	padding: 0 0 0 10px;
	margin: 0;
	border: none;
	height: 53px;
	width: 100%;
}
#tagline{
	text-align: left;
	margin: 0;
	padding: 0;
	font-size:12px;
	font-weight: bold;
	color:white;
} 
#banner p{
	margin:0;
	font-weight: bold;
	text-align:center;
	font-size:1.5em;
	color:white;
}


/******************** Footer style **********************************/
.footer {
	font-size: 0.85em;
	padding: 0ex 0ex 0ex 0ex;
    margin: 0.2em 1em 0.5em 1em;
	font-style:italic;
	}