body { background-color: #cccccc/*95b7cd*/; }
h1 { color: #990000; }
h2 { color: #011F5B; }
img.floatRight { float: right; margin: 20px; }
img.floatLeft { float: left; margin: 20px; }

.booktitle { font-style: italic; }
.pub-title { font-weight: bold; }
li.publication { margin-bottom: 0.5em; }