/* style.css - a simple style sheet */
body {
  /* padding-left: 8.5em; */
  font-family: Georgia, "Times New Roman",
        Times, serif;
  color: #c3d9ff;
  background-color: #111028 /* #ffcc66 #d8da3d */ }
ul.navbar {
  list-style-type: none;
  padding: 0;
  margin: 0;
  position: absolute;
  top: 0.8em;
  left: 1em;
  width: 7em }
h1 {
  /* margin-top: 0.3em; */
  margin-bottom: 0em;
  text-align: center;
  text-decoration: none;
  /* border: 1px solid #2f1f42; */
  padding: 1.2em 0.5em 1.2em 0.5em;
  color: #c3d9ff /* #ffcc66 */;
  background-image: url(background.gif);  
  font-size: 28pt;
  font-family: Georgia, "Times New Roman",
        Times, serif /* Helvetica, Geneva, Arial,
        SunSans-Regular, sans-serif */ }

<!-- /* Define characteristics for the navbar */ -->
ul.navbar li {
  background: #2f1f42;
  margin: 0.5em 0;
  padding: 0.3em;
  border-right: 0.7em solid #9933ff /* #7c3666 */ }
ul.navbar a {
  text-decoration: none }
ul.navbar a:link {
  color: #c3d9ff /* #ffcc66 */ }
ul.navbar a:visited {
  color: #cc33ff }

<!-- /* Define colors for links and visited links */ -->
a:visited {
  color: #ccffff /* #2f1f42 */}
a:link {
  color: #9933ff /* #7c3666 */ }

address {
  margin-top: 1em;
  padding-top: 1em;
  border-top: thin dotted }

<!-- /* Give figures a nice border and their own caption */ -->
div.figure {
  width: auto;
  height: auto;
  float: left;
  border: thin purple solid;
  margin: 0.5em;
  padding: 0.5em;
}
div.figure p {
  width: auto /* 15em */;
  text-align: center;
  font-style: italic;
  /* font-size: smaller; */
  text-indent: 0;
}

<!-- /* Indent paragraphs that follow other paragraphs */ -->
p {
  margin-bottom: 0 }
p + p {
  text-indent: 1.5em;
  margin-top: 0 }

div.navigation {
  margin-top: 0em;
  margin-bottom: 1em;
  padding: 0.7em 0.5em 0.7em 0.5em;
  color: #ccffff /* #ffcc66 */;
  background-color: #9933ff /* #7c3666 */;
  text-align: center;
  border: 1px solid #2f1f42;
}
div.navigation a {
  /* text-decoration: none; */
  padding: 0em }
div.navigation a:link {
  color: #ccffff /* #ffcc66 */ }
div.navigation a:visited {
  color: #2f1f42 }