body {
  color: #000000;
  margin: 5px;
  width: 800px;
  }
  
a:link {
  color: #0000FF
  }
a:visited {
  color: #6633FF
  }

p.bigtitle {
  color: blue;
  font-size: xx-large;
  text-align: center;
  }
p.subtitle {
  color: blue;
  font-size: x-large;
  font-weight: bold;
  }
p.subsubtitle {
  color: blue;
  font-size: larger;
  font-weight: bold;
  }

.footer {
	text-align: right;
	font-size: small;
	padding-top: 10px;
	}
	
.footer p {
	font-size: small;
	margin-right: 10px;
	}

.publications li {
	padding: 2ex 0px 0px 0px;
	font-family: sans-serif;
	}

.supervisions {
	}
	
.supervisions p.progressheader {
	font-family: serif;
	font-variant: small-caps;
	font-size: x-large;
	}