body
{
	background-image: url(/jwacs/gradient.gif);
	background-repeat: repeat-x;
  font-family: Georgia, Times, serif;
  font-size: 10pt;
}

h2
{
  margin: 0pt 0pt 0pt 0pt;
  font-size: 20pt;
  font-weight: normal;
}

h3
{
  margin-top: 6pt;
  margin-bottom: 6pt;
  font-size: 16pt;
  font-weight: normal;
}

div#header
{
  font-size: 10pt;
  font-weight: normal;
  padding-left: 150px;
  margin-top: 6pt;
  margin-left: 0pt;
  margin-right: 0pt;
  margin-bottom: 16pt;
}

div#header p
{
  margin-top: 6pt;
}

div#container
{
  margin: 0 auto;
  width: 700px;
}

a
{
  color: blue;
  text-decoration: none;
}

a:hover
{
  text-decoration: underline;
}

div#menu
{
  float: left;
  margin-top: 12pt;
  width: 150px;
  line-height: 1.75;
}

div#menu p
{
  margin-top: 12pt;
  padding-top: 0pt;
}

div#menu ul
{
  margin-top: 0px;
  padding-top: 0px;
  margin-left: 10px;
  padding-left: 10px;
}

div#menu ul li
{
  list-style-type: none;
}

.current
{
  font-weight: bold;
  color:black;
}

div#content
{
  width: 540px;
  float: left;
  line-height: 1.75;
}

dd
{
  margin-bottom: 12pt;
}

span.highlight
{
  background: yellow;
}

a code
{
  color: blue;
}

pre, code
{
  font-family: Courier, monospace;
  font-size: small;
  line-height: 1.25;
  color: #980000;
  padding-right: 0.5ex;
}