body {
  height: 100%;
  min-height: 100%;
  margin: 0;
  padding: 0;
  color: black;
  background: #F0F0F0;
  font-family: sans-serif;
}

#content {
  width: 750px;
  height: 100%;
  min-height: 100%;
  margin: 10px auto;
  padding: 10px;
  border: 1px solid black;
  color: black;
  background: white;
  text-align: left;
  position: relative;
}

#content p { text-align: justify; margin-left: 10px; }
#content a { text-decoration: none; color: blue; }
#content a:hover { text-decoration: underline; }
#content hr { width: 100%; margin-top: 10px; margin-bottom: 10px; }

#name { margin-right: 10px; }
#address { float: right; margin-left: 10px; text-align: right; }
#email {
 font-style: italic;
 font-size: 10pt;
 margin: 10px 10px 2px 2px;
 position: absolute;
 bottom: 0;
 right: 0;
}

/*
 * Navigation bar
 */

#nav {
  float: left;
  position: sticky;
  top: 10px;
  width: 75px;
  margin: 0 10px 0 0;
  padding: 5px 10px 5px 5px;
  background-color: #F0F0F0;
  border: 1px dashed black;
  line-height: 150%;
}

#nav ul {
  list-style: none;
  margin: 0 0 0 2px;
  padding: 0;
  /* font-size: 18pt; */
}

/*
 * Main content
 */

img.centered {
  display: block;
  margin: 10px auto 10px auto;
}

/*
#text {
  padding-top: 300px;
  margin-left: 90px;
  margin-top: -5px;
}

#text p, dl, div.cv, h2.cv {
  margin-top: -295px;
  margin-left: 10px;
  line-height: normal;
}
*/

#text {
  margin-left: 90px;
}

#text p, dl, div.cv, h2.cv {
  margin-left: 10px;
  line-height: normal;
}

figure {
  width: 75%;
  margin-left: auto;
  margin-right: auto;
}

figure img {
  vertical-align: middle;
  margin-bottom: 0px;
  width: 100%;
}

figure figcaption {
  text-align: right;
  font-size: 60%;
  margin-top: -8px;
}

/*
 * Links page styles
 */

#text ul.links li {
  list-style: square;
  margin-bottom: 10px;
}

/*
 * Papers page styles
 */

#text ul.papers li {
   margin-bottom: 10px;
}

table.papers {
  border: 0px;
  border-spacing: 2px;
}

table.papers td {
  background: #F4F4F4;
  font-size: 10pt;
  padding: 5px 2px 5px 2px;
  white-space: normal;
}

div.paper-summary {
  margin-left: 20px;
}

/*
 *  CV page styles
 */

h2.cv {
  text-align: center;
}

ul.cv {
  margin-left: 10px;
  padding: 0;
  list-style: none;
}
ul.cv li {
  font-weight: bold;
  margin: 10px 0 0 0;
}

ul.cv-item { list-style: square; }
ul.cv-item li {
  font-weight: normal;
}