body 
{
  margin: 0px;
  padding: 0px;
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: 100%;
  line-height: 22px;
  color: black;
  background-color: #fff;
}

div { padding-top: 10px;  }

span#title { display: block; }

img.sflogo { border-style: none; }

hr { border: gray 1px dotted; }

#content
{
  /*width: 70%;*/
/*  height: 60em; */
/*  margin-right: 143px;*/
/*  margin-left: 20px;*/
  margin-right: 10%;
  padding: 1em 2em;
}

.contenttitle
{
  font-family: sans-serif, Verdana, Arial, Helvetica;
  font-size: 100%;
  font-weight: bold;
}

/* pre section */
pre
{
	background-color: white;
	overflow: auto;
	color: black;
	border: black 1px dotted;
	font-family: "Courier New", monospace;
	font-size: 80%;
	padding: 0.7em;
	margin: 0em;
  width: 100%;
}

span.kw { color: blue; }
span.string { color: red; }
span.comment { color: green; }

.text
{
  font-size: 80%;
}

#navcontainer span
{
  padding-left: 10px;
  color: #006;
}

#navcontainer
{
  width: 100%;
  background-color: #f5f3c3;
  height: 10%;
}

#navcontainer span#title { font-weight: bold; }
#navcontainer span#subtitle { font-size: 90%; }

#navlist
{
  padding: 4px 0;

  margin: 0;
  margin-top: 15px;  /* margin from title/tagline */

  border-bottom: 1px solid #778;

  font: bold 12px Verdana, sans-serif;
}


#navlist li
{
  margin: 0;
  padding: 0;
  display: inline;
}

#navlist li a
{
  padding: 4px 0.5em;

  margin-left: 3px;
  border: 1px solid #778;
  border-bottom: none;

  background: #e2bd5e;

  text-decoration: none;
}

#navlist li a:link
{ 
  color: #448;
}

#navlist li a:visited
{
  color: #667;
}

#navlist li a:hover
{
  color: #000;
  background: #AAE;
  border-color: #227;
}

#navlist li a#current
{
  background: white;
  border-bottom: 1px solid white;
}

#details
{
  position: absolute;
  top: 6em;
  right: 8px;
  margin: 0px 0px 10px 0px;
  padding: 10px 10px 5px 15px;
  width: 140px;
  border-left: 1px dotted #000;
}

#links
{
  float: right;
  margin-left: 0;
  padding-left: 0; 
  list-style: none;
}

#links li
{
  padding-left: 10px;
  background-image: url("../imgs/arrow.gif");
  background-repeat: no-repeat;
  background-position: 0 50%;
  font-size: 75%;
}

ul.changelog
{
  font-family: monospace;
  font-size: 85%;
}

#footer
{
  padding-left: 2em;
  font-size: 0.8em;
  color: #958787;
}