body {
  margin-top: auto;
  margin-left: auto;
  margin-right: auto;
  font-family: Times;
  background: #ffffff;
  color: #000000;
  width: 800px;
  text-align: justify;
  background: #ffffff;
}

img.centered {
  display: block;
  margin-left: auto;
  margin-right: auto;
}

.even {
  background-color: #ffffff;
}

.odd {
  background-color: #dddddd;
}

.all {
  width: 800px;
  background-color: #888888;
  padding-left: 0.1cm;
  padding-right: 0.1cm;
  border-top: 5px;
  border-bottom: 5px;
  border-color: #888888;
  border-top-style: solid;
  border-bottom-style: solid;
}

.main {
  padding-left: 0.8cm;
  padding-right: 0.8cm;
  background-color: #ffffff;
}

.pic {
  border-color: #dddddd;
}

.piccell {
  background-color: #888888;
  padding-top: 0.05cm;
  padding-bottom: 0.05cm;
  padding-left: 0.1cm;
}

.separator  {
  background-color: #888888;
  border-top-width: 1px;
  border-top-style: solid;
  border-top-color: #888888;
  padding-top: 0.01cm;
  padding-bottom: 0.01cm;
  padding-left: 0.01cm;
  padding-left: 0.01cm;
  height: 1px;
}

p.firstletter:first-letter {
  font-size: 28px;
  font-style: italic;
  font-family: Verdana;
}

p {
  text-align: justify;
}

pre {
  font-family: Arial, Helvetica, Geneva, Verdana;
}

img.centered {
  display: block;
  margin-left: auto;
  margin-right: auto;
}

div.publications {
  font-size: smaller;
}

c1 { font-size: 28px;
  color: #E3833B;
  color: #99aaff;
  color: #660000;
}
h2,h3,h4,h5,h6 {color: #14262B; }
h2 { font-size: 20px; }
h3 { font-size: 18px; }
h4 { font-size: 16px; }
h5 { font-size: 14px; }
h6 { font-size: 12px; }

a:link { text-decoration: underline; color: #2634C6; }
a:visited { text-decoration: underline; color: #7DA1D0; }
a:active { text-decoration: underline; }
a:hover {
 text-decoration: underline;
}

a.button {
 font-size: 12pt;
 text-decoration: none;
 padding: 6px;
}

a.button:visited {
  text-decoration: none;
  color: #2634C6
}

a.button:hover { text-decoration: underline; }
.sm {
  font-size: small;
  text-align: right;
}

.name {
  font-family: Verdana;
  text-align: left;
  vertical-align: center;
  font-size: 20px;
  color: #000099;
  padding-left: 0.2cm;
  padding-left: 0.2cm;
  padding-top: 0.2cm;
  padding-bottom: 0.2cm;
  background-color: #dddddd;
}

.menu{
  font-family: Verdana;
  text-align: right;
  font-size: 11px;
  padding-top: 0.3em;
  padding-bottom: 0.3em;
  padding-right: 0.0em;
  padding-left: 0.0em;
  border-bottom: 1px;
  border-color: #888888;
}

div.figure {
  float: right;
  border: thin silver solid;
  margin: 0.5em;
  padding: 0.5em;
}

div.figure p {
  text-align: center;
  font-style: italic;
  font-size: smaller;
  text-indent: 0;
}