body {
   margin: 0;
   padding: 0;
   font-family: Verdana, arial, helvetica, sans-serif;
   color: #FFFF99;
   background : #000000 url(logo.gif) no-repeat fixed top left;
}

/* redundant selectors to help NS4 not forget */
div, p, th, td, li, dd, dl, dt {font-family:  Verdana, arial, helvetica, sans-serif;}
dt {font-weight: bold;}
ol, li, dl, dt, dd {line-height: 1.5em;}

.content {
   padding: 10px 20px;
   margin: 8% 8%;
   border: 2px dotted #333;
}

.forside {
   padding: 10px 10px;
   margin: 5% 5%;
   border: 2px dotted #333;
}

p {
   margin-top: 0.5em; padding-top: 0;
   line-height: 1.5em;
   margin-bottom: 1em;
   margin-left: 2em;
   margin-right: 2em;
}

h1 {font-size:	2em;}
h2 {font-size:	1.75em;}
h3 {font-size:	1.5em;}
h4 {font-size:	1.25em;}
h1, h2, h3, h4 {margin: 1.25em 0 0 0; font-family: arial, helvetica, sans-serif; color: #FFCC33;}

/* turns off gaps around images */
img {border: 0}

.vs0, .first {margin-top: 0; padding-top: 0;	}

a {text-decoration: none; font-weight: bold; color: #CC6633; background-color: transparent}
a:hover	{color: #FF9966; text-decoration: underline }

.ahem {display: none;}
.small {font-size: 12px;}

#footer, .marginalia {
   font: 10px geneva, verdana, arial, helvetica, sans-serif;
   margin-top: 10px;
   padding-top: 10px;
   border-top: 2px dotted #333333;
   margin-left: 0;
}

.libnavt {
   border-bottom: solid 1px #fff;
}

.libnavb {
   border-bottom: solid 1px #ccc;
   border-top: solid 1px #ccc;
}

div.picture {
   padding: 10px;
   margin: 10px;
   border: 2px dotted #333333;
   float: left;
}

body, td, th { /* redundant rules for bad browsers  */
   font-size:    x-small;
   voice-family: "\"}\"";
   voice-family: inherit;
   font-size:    small
}

html>body, html>body td, html>body th {font-size: small;}

/* Handling of fixed menu */

div.banner {
  margin: 0;
  font-size: 80% /*smaller*/;
  font-weight: bold;
  line-height: 1.1;
  text-align: center;
  position: absolute; /*fixed;*/
  top: 2em;
  left: auto;
  width: 8.5em;
  right: 2em;
}
div.banner p {
  margin: 0;
  padding: 0.3em 0.4em;
  font-family: Arial, sans-serif;
  background: #900;
  border: thin outset #900;
  color: white;
}
div.banner a, div.banner em { display: block; margin: 0 0.5em }
div.banner a, div.banner em { border-top: 2px groove #900 }
div.banner a:first-child { border-top: none }
div.banner em { color: #CFC }
div.banner a:link { text-decoration: none; color: white }
div.banner a:visited { text-decoration: none; color: #CCC }
div.banner a:hover { background: black; color: white }
body>div.banner {position: fixed}

/* Figures */

div.rfigure {
  float: right;
  width: 30%;
  border: 2px dotted #333333;
  margin: 10px;
  padding: 10px;
  text-align: left
}

div.lfigure {
  float: left;
  width: 30%;
  border: 2px dotted #333333;
  margin: 10px;
  padding: 10px;
  text-align: left
}

p.caption {
  font-style: italic;
  font-size: smaller;
  margin-left: 0em;
  margin-bottom: 0em;
}
img.scaled {
  width: 100%;
}