h3 {
  margin-bottom: 5px;
}

h5 { 
  margin-top: 5px;
  color: #555;
}

.thumb { 
  float: left;
  border: solid 3px #999;
  margin: 5px;
}

.thumb:hover { 
  border: solid 3px #666;
}

a { 
  text-decoration: none;
}

a:hover { 
  text-decoration: underline;
}

body { 
  margin: 0px; 
  background-color: #FEFEFE;
  font-family: sans-serif; 
}

h1 { 
  color: #000055;
  margin: 0px;
  padding: 3px;
  padding-bottom: 0px;
}

.page {
  margin-top: 20px;
  margin-bottom: 20px;
  margin-left: auto;
  margin-right: auto;
  width: 900px;
  padding: 0px;
}

#title { 
  padding-top: 15px;
  margin-top: 15px;
}

h2.sectitle { 
  border-bottom: dotted 1px #000099;
}

div.body {
  margin: 0px;
  padding: 15px;
  background-color: #EEEEEE;
  border: solid 5px #AAAAAA;
  float: right;
  width: 78%;
}

.center {
  text-align: center;
}

/* Some stuff used by bibtex2html */
div.right { 
  text-align: right;
}

div.year { 
  margin-top: 10px;
  color: #000099;
  border-bottom: dotted 1px #000099;
  font-weight: bold;
  font-size: 16px;
}

span.bx { 
  display: none;
}

/* Menu issues */

div.menu {
  margin: 0px;
  margin-top: 10px;
  padding: 0px;
  text-align: left; 
  float: right;
  width: 17%; 
}

div.menu a.norm {
  padding-bottom: 10px;
  display: block; 
  padding: 4px;
  text-decoration: none;
  color: #999999;
  margin-bottom: 4px;
  font-weight: bold;
  background-color: #CCCCCC;
  -moz-border-radius-topright: 10px;
  -moz-border-radius-bottomright: 10px;
  border-top-right-radius: 10px;
  border-bottom-right-radius: 10px;
  -webkit-border-bottom-right-radius: 10px;
  -webkit-border-top-right-radius: 10px;
}

div.menu a.seld {
  padding-bottom: 10px;
  display: block; 
  padding: 4px;
  text-decoration: none;
  color: #FFFFFF;
  margin-bottom: 4px;
  background-color: #AAAAAA;
  font-weight: bold;
  -moz-border-radius-topright: 10px;
  -moz-border-radius-bottomright: 10px;
  border-top-right-radius: 10px;
  border-bottom-right-radius: 10px;
  -webkit-border-bottom-right-radius: 10px;
  -webkit-border-top-right-radius: 10px;
}

div.menu a.norm:hover {
  background-color: #AAAAAA;
  color: #FFFFFF;
}

div.menu a.seld:hover { 
}


/* Language issues */

div.langs { 
  float: right; 
  padding: 4px;
  margin-right: 10px;
  font-size: 10px;
}

div.langs a { 
  text-decoration: none;
}

div.langs a:hover {
  text-decoration: underline; 
}

img { 
  border: none;
}

img.border { 
  border: solid 1px #000000;
}

.copy { 
  clear: both;
  padding-top: 15px;
  padding-bottom: 15px;
  text-align: center;
}

dt { 
  padding-top: 3px;
  padding-bottom: 5px;
}

dd { 
  padding-bottom: 5px;
}

li { 
  padding-bottom: 3px;
}