body {
  padding-top: 1em;
  padding-right: 14em;
  font-family: Arial, sans-serif;
    color: black;
    background-color: white }

h1, h2 {
  font-weight: bolder;
  text-align: center; }


div.navbar {
  margin: 0;
  font-weight: bold;
  line-height: 1.5;
  text-align: center;
  position: absolute;
  top: 2em;
  left: auto;
  right: 1em;
  width: 12em; 
  background: #000000;}

body>div.navbar {position: fixed}

div.navbar p {
  margin: 0;
  padding: 0.3em 0.4em;
  border: thin outset #000000; }

div.navbar a { 
  display: block;
  margin: 0 0.5em; 
  text-decoration: none; 
  border-top: 2px groove #000000; }

div.navbar a:first-child { border-top: none }

div.navbar em { color: #99CCFF; }	

div.navbar a:link {
  color: #FFFFFF; }
div.navbar a:visited {
  color: #999999; }
div.navbar a:hover {
  color: #99CCFF; }

div.figure0, div.figure1, div.figure2, div.figure3, div.figure4, div.figure5, div.figure6, div.figure7, div.figure8, div.figure9 {
  float: left;
  width: 25%;
  border: thin silver solid;
  margin: 0.5em;
  padding: 0.5em;
  min-width: 250px;
}

div.figure0, div.figure1, div.figure2, div.figure3, div.figure4, div.figure5, div.figure6, div.figure7, div.figure8, div.figure9 {
  text-align: center;
  font-style: italic;
  font-size: smaller;
  text-indent: 0;
}