a:link
{ color: #555555 ;
  text-decoration: none;
  font-weight: bold; }

a:visited
{ color: #333355 ;
  text-decoration: none;
  font-weight: bold; }

a:active
{ color: #5555AA;
  text-decoration: none;
  font-weight: bold; }

a:hover
{ color: #5588AA;
  background: #BBCCFF;
  text-decoration: underline;
  font-weight: bold; }

body
{ margin: 1em 1em 1em 1em;
  color: #000000;
  background: #CCCCCC; }

h1
{ border-style: solid;
  border-color: #000000;
  border-width: 2px;
  width: 98%;
  margin: 0 0 3px;
  font-style: normal;
  font-size: 3.0em;
  font-weight: bold;
  background: #EEEEEE;
  color: #666666;
  text-align: center; }

h2, h3, h4, h5
{ font-size: 1.5em;
  font-weight: bold;
  /* color: #666666; */
  /* background: #CCCCCC; */
  color: #FFFFFF;
  background: #333333;
  margin: 18pt 3pt 5pt 3pt;
  padding: 3pt 5pt 3pt 5pt; }

h3, h4
{ font-size: 1.2em;
  background: #EEEEEE;
  color: #666666;
  border-style: solid;
  border-width: 1pt;
  padding: 4pt 4pt 4pt 8pt;
  margin: 16pt 8pt 8pt 8pt; }

h4
{ font-size: 1.0em;
  padding: 4pt 4pt 2pt 4pt;
  border-width: 0 0 2pt 0;
  margin: 8pt 16pt 12pt 16pt; }

h5
{ background-color: #eee;
  border-width: 0 1pt 1pt 0;
  margin: 0.5em 0.5em 0.5em 0; }

pre
{ background: #DDDDEE;
  padding: 0.5em;
  margin: 0.3em 1em 0.3em 1em;
  border-width: 1pt;
  border-color: #9999AA;
  border-style: solid; }

pre.fig
{ background-color: #000;
  color: #fff;
  padding: 0.5em;
  margin: 1.5em 0 0.3em 0; }

div.fig
{ margin: 0 0 0 0; text-align: center; }

div.figright
{ margin: 10px; float: right; clear: right; }

div.figleft
{ margin: 1em; float: left; }


div.center
{ text-align: center; }


#navigation
{ border: solid 1px #333;
  margin: 1em;
  padding: 5pt; }

.navistr
{ font-size: 60%; text-align: center;
  border: solid;
  border-width: 0 1pt 1pt 0;
  margin: 0 0 2em 0;
  border-color: #666; }

.caption
{ font-size: 60%; text-align: center; margin: 0 0 2em 0; }

#navigation li { list-style-type: none; }
li.none { list-style-type: none; }

#main
{ border-style: solid;
  border-width: 2px;
  margin: 3px 0px;
  width: 98%;
  padding: 1em;
  background: #EEEEEE; }

p { /* text-margin: 1em; */ margin: 0.5em 1em 0.5em 1em; }

div#copyright
{ width: 30%;
  /*	float: right; */
  border-style: solid;
  border-width: 2px;
  margin: 0;
  padding: 0 1%;
  background: #EEEEEE; }

p#copyright
{ font-size: 80%;
  margin: 0;
  text-align: center; }

#author
{ font-size: 50%;
  text-align: right; }

div#recent table
{ text-align: center; border-style: solid; border-width: 2pt; border-color: #777777 }

div#recent tr, td
{ border-width: 0; }