a { 
  text-decoration: none;
}

a:hover { 
  text-decoration: underline;
}

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

h1 { 
  background-color: #ffffff;
  margin: 0px;
  padding: 3px;
  padding-bottom: 10px;
  text-align: center;
}

.page {
	margin-top: 20px;
	margin-bottom: 20px;
	margin-left: auto;
	margin-right: auto;
    width: 900px;
	background-color: white;
	border: solid 5px #bbbbbb;
	padding: 0px;
}

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

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

div.body {
  margin: 10px;
  padding-left: 15px;
  background-color: white;
  border-left: dashed 1px #BBBBBB;
  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 {
  padding-left: 4px;
  text-align: center; 
  float: left;
  width: 17%;
}

div.menu a.norm {
  padding-bottom: 10px;
  display: block; 
  padding-left: 4px;
  padding-right: 4px;
  margin-left: 4px;
  margin-right: 4px;
  text-decoration: none;
  color: #000099;
  font-weight: bold;
}

div.menu a.seld:before { 
  content: "» "
}

div.menu a.norm:hover:before { 
  content: "» "
}

div.menu a.seld:after { 
  content: " «"
}

div.menu a.norm:hover:after { 
  content: " «"
}


div.menu a.seld {
  padding-bottom: 10px;
  display: block; 
  padding-left: 4px;
  padding-right: 4px;
  margin-left: 4px;
  margin-right: 4px;
  text-decoration: none;
  color: #000099;
  font-weight: bold;
}

div.menu a.norm:hover {
  color: #0000FF;
}

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;
  background-color: white;
  border-top: solid 5px #BBBBBB;
  padding-top: 15px;
  padding-bottom: 15px;
  text-align: center;
}

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

dd { 
  padding-bottom: 5px;
}