/*
 * General settings
 */
body {
  font-family: Verdana, Helvetica, Arial, sans-serif;
  font-size: 13px;
  line-height: 18px;
  background-color: #f7f7f7;
  color: #000000;
}

/*
 * No underline for links
 */
a:link, a:visited {
  text-decoration: none;
  cursor: pointer;
}
a:link:hover, a:visited:hover {
  color: #ff0000;
}

/*
 * General layout
 */
.font {
  font-size: 13px;
}
.smallfont {
  font-size: 11px;
}
.none {
  display: none;
}
h3.bar {
  padding-left: 5px;
  padding-bottom: 1px;
  font-size: 14px;
  background: #cfcfcf;
}

/*
 * Local variables:
 * mode: indented-text
 * mode: auto-fill
 * End:
*/