/*
	NS4 doesn't do well with added colors because of the extra padding added inside each
	block element. So colors are imported. This theme file will, thus, contain mostly
	font stuff.
 */
@import "colors.css";

/*** Left Column ***/
#innerLeftColumn p
{
	font-family: verdana, helvetica, sans-serif;
	font-size: 70%;
	line-height: 140%;
	/*/*/ /*/line-height: normal;/* NS4 Adds too much space, so reset the line-height */
}
#innerLeftColumn h3
{
	color: #006;
	margin: 1em 0 0 0;
}

/*** Content ***/
#innerContentColumn
{
	font-family: verdana, helvetica, sans-serif;
}
#innerContentColumn h3
{
	color: #000;
}
#innerContentColumn h4
{
	color: #000;
}

/*** Masthead ***/
#masthead h1
{
	font-family: verdana, helvetica, sans-serif;
  vertical-align: middle;
}

/*** Footer ***/
#innerFooter
{
	font-family: verdana, helvetica, sans-serif;
  font-size: 80%;
}

.footerLink a:link
{
  color: #3A4956;
  text-decoration: none;
  /*border-bottom: dotted 1px #990000;*/
  border-bottom: dotted 1px #000000;
}

/*** Horizontal Navigation Area ***/
.hnav
{
	font-family: verdana, helvetica, sans-serif;
	font-weight: bold;
	font-size: 70%;
}

/*** Vertical Navigation Area ***/
.vnav, .vnav_title
{
	font-family: verdana, helvetica, sans-serif;
	font-weight: bold;
	font-size: 70%;
	line-height: 180%; /* Mozilla suffers from a rounding problem, 
						  this value may have to be tweaked if you 
						  change the font family or size 
						*/
	/*/*/ /*/line-height: 120%;/* NS4 Adds too much space, so lower it */
}

.code {
  background-color: #ffffff;
  color: #000000;
  padding-left: 10px; 
  padding-right: 10px; 
  padding-top: 5px;
  padding-bottom: 5px;
  margin-top: 2px;
  border: 2px dotted #777777;
  margin-left: 0px;
  font-size: 90%; 
}

.list_code {
  /*border: 2px dashed #777777;*/
  background-color: #ffffff;
  color: #000000;
  padding-left: 30px; 
  padding-right: 10px; 
  padding-top: 10px;
  padding-bottom: 10px;
  margin-top: 2px;
  border: 2px dotted #777777;
  margin-left: 0px;
  font-size: 90%; 
}

.hr_line {
  color: #000000;
  height: 1px;
}