body {
  background: #FFFFFF;
  color: #000000;
}

h1 {
  text-align: center;
  font: arial, times, urw;
  font-weight: bold;
}

img {
  border-width: 0;
  padding: 0.5em;
}

a:active {
  background-color: #FFFF00;
}
a:visited {
  color: #600090;
}

.logo {
  color: #0000FF;
}

div.menu {
  float: right;
/*  margin-right: 1em;
  margin-left: 1em;*/
  /*margin-bottom: 100%;*/ /*FIXME*/
/*  margin-bottom: 5em;*/
  padding: 0;
  margin: 0.2em;
  background-color: #99CCFF;
  text-align: right;
}
a.menu {
  display: block;
}
.menu ul {
  list-style-type: none;
  position: relative;
  right: 1em;
}

/* Make sure paragraphs don't get too wide, as that makes them hard to read in wide browser windows */
p {
  max-width: 45em;
}

/*
 * Image gallery
 */
div.picturebox {
  width: 150px;
  height: 200px;
  border: solid 1px black;
}
/*div.picturebox p {
  display: inline;
}*/