html
{
}

body
{
  margin:3ex 12% 3ex 12%;
  font-size:90%;
  line-height:160%;
  background-color:#fffffa;
  color:#222;
  font-family: 'Georgia', serif;
}

a:link
{
  color: #2222c0;
  text-decoration:none;
  border-bottom:1px dotted #2222f0;
}

a:visited
{
  color: #803380;
  text-decoration:none;
  border-bottom:1px dotted #a033a0;
}

a:hover
{
  color: #e03333;
  text-decoration:none;
  border-bottom:1px solid #e03333;
}

table.page-header
{
  border-bottom:1px solid #404040;
  font-size:small;
  width:100%;
  margin: 1ex 0ex 0ex 0ex;
}

td.header-left
{
  text-align:left;
  width:50%;
}

td.header-right
{
  text-align:right;
  width:50%;
}

table.navigation
{
  border-top:1px solid #c0c0c0;
  font-size:80%;
  width:100%;
  margin: 3ex 0em 15ex 0em;
  border-bottom:1px solid #c0c0c0;
  background-color:#f8f8f0;
}

span.navigation-item
{
  padding:1px 1em 1px 1em;
}

table.page-footer
{
  border-top:1px solid #404040;
  font-size:small;
  width:100%;
  margin: 20ex 0ex 1ex 0ex;
}

td.footer-left
{
  text-align:left;
  width:50%;
}

td.footer-right
{
  text-align:right;
  width:50%;
}

.hyphenate
{
  text-align:justify;
}

span.underlined-letter
{
  text-decoration:underline;
}

.no-height
{
  line-height: 0;
}

h1
{
  font-size:100%;
  font-weight:normal;
  margin: 0px;
  padding: 0px;
}

h2
{
  font-size:150%;
  font-weight:bold;
  margin:5ex 0em 1ex 1em;
}

h3
{
  font-size:130%;
  font-weight:bold;
  margin:2ex 0em 1ex 0.75em;
}

div.download
{
  margin: 1ex 0em 1ex 1em;
}

div.old-download
{
  color:#888;
  margin: 1ex 0em 1ex 1em;
}

a.download
{ 
  font-weight:bold;
}

a.old-download
{ 
  font-weight:bold;
  color: #8888f0;
}