/* generic defaults */
body {
  font-family : Helvetica, Arial, sans-serif;
  color : #666;
}

/* left nav */

.leftnav {
  margin : 0;
  padding : 0;

  font-family : Verdana, Helvetica, Arial, sans-serif;
  font-size : 85%;

  list-style : none;

}

a {
  text-decoration : none;
}

.leftnav a {
  color : #606060;
  font-family: Verdana, Helvetica, Arial, sans-serif;
}

.leftnav a:hover {
  color : #ffcc33;
}

/* main nav */

ul.main {
  list-style-type : none;
  padding : 0em 0em 0.15em 0em;
  margin : 0;
  font-family: Verdana, Helvetica, Arial, sans-serif;
  text-align : left;
  border-bottom : solid 1px #999;
}

.main li {
  display : inline;
  border : solid 1px #999;
  margin : 0.1em 0.1em;
  padding : 0.15em 0.4em 0.15em 0.4em;
  background : #f4f4f4;
}

li.selected {
  background : #ccccdd;
}

li.selected a {
  color : #444;
}

.main a {
  color : #999;
}

.main a:hover {
  color : #ffcc33;
}

/* submain nav */

div.submain {
  padding : 0.3em;
  margin-left : 0.1em;

  border : 1px solid #999;
  border-top : 1px #f4f4f4 solid;
  background : #f4f4f4;
  font-size : 90%;
}

ul.submain {
  padding : 0em;
  margin : 0;

  list-style-type : none;

  font-family: Verdana, Helvetica, Arial, sans-serif;
  text-align : left;
  color : #003366;
}

.submain li {
  display : inline;
  margin : 0em;
  padding : 0em;
}

.submain a {
  color : #999;
}

.submain a:hover {
  color : #ffcc33;
}

/* bottom nav */

.bottom {
  font-family: Verdana, Helvetica, Arial, sans-serif;
  font-size : 70%;
  color : #999;
}

ul.bottom {
  list-style-type : none;
  padding : 0em;
  margin : 0;
  margin-top : 3em;
  text-align : center;
}

.bottom li {
  display : inline;
  margin : 0.1em 0.1em;
  padding : 0.0em;
}

.bottom a {
  color : #999;
}

.bottom a:hover {
  color : #ffcc33;
}

/* resin/quercus */

.quercus {
  font-family : Helvetica, Arial, sans-serif;

  color : #990033;
}

.resin {
  font-family : Helvetica, Arial, sans-serif;
  color : #003366;
}

sub {
  font-size : 40%;
}

/* sections */

div.s1 {
  margin-left : 1em;
}

h1 {
  font-family : Helvetica, Arial, sans-serif;
  font-size : 170%;

  color : #990033;
}

h2 {
  border-bottom : 1px solid #003366;

  font-family : Helvetica, Arial, sans-serif;
  font-weight : normal;
  margin : 0;
  margin-top : 0.5em;

  color : #003366;
}

h3 {
  font-weight : normal;
  margin : 0.7em 0em 0.2em 0em;

  color : #003366;
}

.s3 {
  margin-left : 0.3em;
}

/* columns */
.columns td {
  padding : 0em 1em;
  vertical-align : top;
}

/* overview */

table.overview {
  margin-top : 1em;

  border : 1px solid #999;

  font-family : Arial, Helvetica, sans-serif;
  font-size : 160%;

  color : #999;
}

.overview td {
  padding : 1em;
}

.overview td.hr {
  padding : 0em 2em;
}

/* quote */

.quote {
  font-size : 120%;
  font-style : italic;

  color : #990033;
}

.author {
  font-family : Helvetica, Arial, sans-serif;
  font-style : normal;

  text-align : right;

  color : #990033;
}


/* news section */

.news {
  font-family : Helvetica, Arial, sans-serif;
  font-size : 90%;
}

.news h2 {
  margin-bottom : 0.3em;
  border-bottom : 1px #999 solid;

  font-weight : normal;
  font-variant : small-caps;
  font-size : 120%;

  color : #003366;
}

.news h3 {
  margin-top : 0.1em;

  font-weight : normal;
  font-size : 110%;

  color : #999;
}

table.news {
  padding : 0;
  margin : 0;
  cellspacing : 0;
}

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

.news em {
  color : #003366;
}

/* rules */

hr {
  border : 0;
  height : 1px;
  background : #999;
  margin : 0.2em 0em;
  width : 80%;
}

a {
  color : #003366;
}

a:hover {
  color : #ffcc33;
}

/* bottom */

.about {
  color : #999;
  font-family : Helvetica, Arial, sans-serif;
  text-align : center;
  font-size : 60%;
}

div.about {
  margin-top : 1em;
}

/* download */

table.download {
  margin : 1em;
  width : 90%;
  padding : 0;
  border-collapse: collapse;
  font-family : Helvetica, Arial, sans-serif;
  border-color : #990033;
}

caption {
  padding : 0.3em 0em;
  font-style: bold;
  font-family: Helvetica, Arial, Helvetica, sans-serif;
  color : #990033;
  text-align : left;
  font-size : 120%
}

.header th {
  text-align : left;
  background : white;
  font-family: Arial, Helvetica, sans-serif;
  font-variant : small-caps;
  font-weight : normal;
  font-size : 85%;
  border-top : 1px solid #98012e;
  border-bottom : 1px solid #98012e;
  color : #666;
  padding : 0.3em 0.3em;
}

tr.a {
  background : #eee;
}

tr.b {
  background : #f8f8f8;
}

.download th {
}

.download td {
  font-size : 85%;
  color : #444;
}

div.example {
  margin : 1em 2em;
  padding : 1em;
  width : 87.5%;
  border : solid #999;
  border-width : 1px;
  background : #e5d1ac;
  color : black;
}