body {
  font-family: "Bitstream Vera Sans";
  color: #f0f0f0;
  background-color: #666666;
}

/* Menu text should start right at the top of the main div... */
h2, h3, ul {
  margin-top: 0px;
}
/* ...except on the main menus. */
div.top-menu > ul.menu {
  margin-top: 1em;
}

/* Background images have to be written as inline images because Mozilla    */
/* reports that loading is complete before true background images are done. */
#background {
  position: absolute;
  left: 0px;
  top: 0px;
  z-index: 0;
}

#main { 
  /* background-color: #000000; */
  z-index: 1;
}

#logo { 
  float: right;
}

#footer1, #footer2 {
  z-index: 2;
}

/* Link styles */
ul.menu > li > a {
  /* Some of the links will need to wrap */
  display: inline-block;
  white-space: normal;
}
a {
  /* Make plenty of space for highlighting */
  /* FIXME: This doesn't affect right/left padding at line breaks */
  padding: 0.07em;
}
a:link, a:visited {
  color: #ffffff;
}
a:hover { 
  color: #af2c0e;
  background-color: #f0f0f0;
}
a:active {
  color: #e00000;
  background-color: #f0f0f0;
}

/* Titles and credited names for sessions and other items */
.title { 
  font-weight: bold;
}
.name {
  font-style: italic;
}

/* Menus are semantically lists, but are laid out specially */
ul.menu {
  list-style-type: none;
  /* This *should* disable indentation of list-items. */
  margin-left: 0;
  /* In practice, Mozilla requires this instead. */
  padding-left: 0;
}
ul.menu > li {
  /* Compensate for the links inside */
  left: -0.15em;
  padding: 0.15em 0;
}

.flowed-menu {
  line-height: 1.5em;
}