html {
  height: 100%;
  background: url(/pics/dice.png) transparent top left no-repeat;
}
body {
  font-family: Arial, Helvetica, sans-serif;
  font-size: 11pt;
  line-height: 140%;
  margin: 0;
  padding: 0;
}
div#body {
  background: url(/pics/hourglass.png) bottom right no-repeat;
  border-bottom: solid white 1px;
  padding-top: 0.5em;
  margin-left: 0.5em;
  margin-right: 0.5em;
}
div#footer {
  border-top: solid black 1px;
  font-size: 83%;
  margin-left: 0.5em;
  margin-right: 0.5em;
  margin-bottom: 0.5em;
  clear: both;
  line-height: 140%;
}
h1 {
  font-size: 160%;
  font-weight: bold;
  text-align: center;
}
h2 {
  font-size: 120%;
  font-weight: bold;
}
a:link {
  color: #b7171a;
}
a:visited {
  color: #832932;
}
a:active {
  color: #cf6466;
}
span.smallcaps {
  font-variant: small-caps;
}
span.tag {
  font-size: 67%;
  color: green;
}
.checksum {
    font-size: 67%;
    font-family: "Courier New", Courier, monospace;
}
.right {
  text-align: right;
}
#downloads {
  border-collapse: collapse;
}
#downloads tr {
  border: 1px solid black;
}
#downloads th,
#downloads td {
  padding: 0.25em 0.5em 0.25em 0.5em;
}
#downloads th {
  background-color: #b7171a;
  color: #fff;
}
form {
  margin-bottom: 0;
}
img.bio {
  float: left;
  margin-top: 0.25em;
  margin-right: 0.5em;
  border: solid black 1px;
}
div.menu, div.submenu {
  border-bottom: solid black 1px;
  padding-bottom: 0.25em;
  text-align: center;
  color: gray;
}
div.menu {
  border-top: solid black 1px;
}
div.submenu {
  font-size: 83%;
}
div.menu a, div.submenu a {
  white-space: nowrap;
}
span.current {
  color: black;
  white-space: nowrap;
}
div.indented {
  margin-left: 2em;
}
.journal, .conference, .workshop, .techrep {
  border-left: solid gray 1px;
  padding-left: 0.2em;
  padding-right: 0.2em;
}
.firstpaper {
  border-left: none;
}
.journal {
  background-color: #ffcccc;
}
.conference {
  background-color: #ccccff;
}
.workshop {
  background-color: #ccffcc;
}
.techrep {
  background-color: #cccccc;
}
a:link.journal {
  color: #cc6666;
}
a:link.conference {
  color: #6666cc;
}
a:link.workshop {
  color: #66cc66;
}
a:link.techrep {
  color: #666666;
}
a:visited.journal, a:visited.conference, a:visited.workshop, a:visited.techrep {
  color: black;
}
a:active.journal, a:active.conference, a:active.workshop, a:active.techrep {
  color: white;
}
span.links {
  color: gray;
  white-space: nowrap;
}
