/**
 * Body and common style definitions
 */
body {
  font-family: Verdana, sans-serif;
  font-size: 14px;
  background-color:#eeffaa;
}
div#banner,div#nav,div#main {
  background-color:#ffffff;
  border:1px solid #aabb66;
}

/**
 * Container
 */
div#container {
        width: 740px;
        margin:0;
	/* margin: 15px 15px 15px 15px;*/
	margin-left:auto;
	margin-right:auto;
	margin-top:15px;
	margin-bottom:15px;
}

/**
 * Banner
 */
div#banner {
	color: #000000;
	font-family: Garamond, serif;
	background-image: url("../images/logo.png");
	padding:3px 0 7px 0;
	background-repeat:no-repeat;
	background-position:center left;
}
div#banner div#banner-text p.name, div#banner div#banner-text p.description {
  color: #000000;
  margin:0;
  margin-left:90px;
  padding:0;
  font-family:Georgia,Garamond,serif;
  text-decoration:none;
}
div#banner a {
  color: #000000;
  text-decoration:none;
  padding:0;
  margin:0;
}
div#banner div#banner-text p.name{
  font-size:2.5em;
}
div#banner div#banner-text p.description{
  font-size:1.2em;
}

/**
 * Navigation bar
 */
#nav {
        margin:0;
	color:#209342;
	background-color:#ffffff;
	margin-top:3px;
	padding: 3px 0 3px 0;
	background-image:url(images/content_lshadow.png);
	background-repeat:repeat-y;
	background-position:top right;
}
#nav ul {
	padding:0;
	margin:0;
}

#nav li {
	display: inline;
	list-style-type: none;
	margin-left:10px;
}

#nav li a{
	font-family:Verdana, Arial, sans-serif;
	font-weight:bold;
	text-decoration:none;
	padding-left:20px;
	color: #72a0a2;
	background-position: center left;
	background-repeat: no-repeat;
	background-image: url("../images/star.png");
}

#nav li a.selected , #nav li a:hover{
	border-bottom: 3px solid #aabb66;
	background-position: center left;
	background-repeat: no-repeat;
	background-image: url("../images/star.png");
}

/* IE doesn't like transparent PNG's */
* html #nav li a
{
	background-image: url("../images/star.gif");
}
* html #nav li a:hover, #nav li a.selected
{
	background-position:center left;
	background-image: url("../images/star.gif");
}
/*
body div#content {
	background-color:#aaffaa;
	margin:0 0 0 0;
	background-image:url(images/content_lshadow.png);
	background-repeat:repeat-y;
	background-position:top right;
	padding:5px 5px 5px 5px;
}
*/
/**
 * Main text
 */
#main a
{
	text-decoration:none;
	border-bottom:1px dotted #000000;
	color:#007777;
}
#main a:visited
{
	text-decoration:none;
	border-bottom:1px dotted #000000;
	color:#003333;
}
#main a:hover
{
	text-decoration:none;
	border:none;
}

/**
 * Sidebar for list of algorithms
 */
div#sidebar {
        float: right;
        background-color:#ffffff;
	display:block;
        clear: right;
        border:1px solid #000000;
	width: 30%;
	margin:15px 25px 5px 0px;
	padding:5px 5px 5px 10px;
}
#sidebar h1 {
	font-size:0.7em;
	margin: 0 0 0 0;
	text-align: center;
}

#sidebar ul {
	list-style-type:disc;
	padding-left:15px;
}
#sidebar ul li {
  font-size:0.8em;
}
.sideitem {
	border:1px solid #555;
	border-right:2px solid #555;
	border-bottom:2px solid #555;
	padding:5px 5px 5px 5px;
	margin:5px 0 0 0;
}
#sidebar p {
	font-size:0.7em;
}

/**
 * Main text
 */
#main {
	padding: 5px 5px 5px 15px;
	margin-top:3px;
}
#main p {
	margin:5px 15px 5px 20px;
	font-size:0.9em;
}
#main h1, #main h2, #main h3 {
  padding-bottom:3px;
  border-bottom:1px dotted #000000;
}
#main h1 {
	font-size:1.2em;
	margin-left:5px;
	color:#445500;
}
#main h2 {
	font-size:1em;
	margin-left:15px;
	color:#556611;
}
#main h3 {
  font-size:0.9em;
  margin-left:20px;
  color:#667722;
}

#main li{
	margin:10px 0 10px 0;
	font-size:0.9em;
}

/* Table styles */
#main table {
  margin-left:auto;
  margin-right:auto;
  border:none;
  padding:10px 10px 10px 10px;
}
#main table th.empty, #main table tr.empty {
  border:none;
  background-color:#ffffff;
}
#main table th {
  border:none;
  background-color:#ffeedd;
}
#main table tr {
  background-color:#efefef;
}
#main table tr td {
}

/* Photo styles for about page */
.photo {
  color:#000000;
  margin:5px 5px 5px 5px;
  clear:both;
  display:block;
}
.photo img {
  color:#000000;
  float:right;
  padding: 15px 15px 15px 15px;
  background-color:#eeffaa;
  border:1px solid #aabb66;
}
.photo p {
  padding: 5px 0 5px 0;
  margin: 15px 15px 15px 15px;
}
li p{
  font-size:0.9em;
}
/* IE doesn't like transparent PNGs so this trick */
* html #main ul {
	list-style-image:url(../images/star.gif);
}
.small {
	font-size:0.7em;
	}
strong { font-weight: bold;}
em { font-style: italic; }