html { max-width: 850px; margin: 0 auto; font-family: sans-serif; }

/* h1, h2, h3, h4, h5, h6, div#header { font-family: sans-serif; } */
h1 { font-size: 200%; margin-bottom: 0; }
h3 { font-size: 125%; margin-top: 12pt; margin-bottom: 0; }
h4 { font-size: 100%; margin-top: 4pt; }
/* div#header div#detail { float: left; } */
/* div#header div#image { float: right; background: url("bookworm.jpg") no-repeat; width: 200px; height: 216px; } */
div#header img { margin-left: 10pt; }
div#header div#clear { clear: both; }
div#header span.desc { font-weight: bold; }
div#header small { margin-left: 0.5em; }
div#header code { font-size: 110%; }

.notice { margin-top: 10pt; background-color: #ffea82; border: 1px solid #e6cc47; color: black; padding: 1ex; }

p { text-align: justify; }
a { text-decoration: none; color: blue; }
a:visited { color: blue; }
code, .code { font-family: monospace !important; }

ul.publications li { margin-top: 0.5ex; margin-bottom: 0.5ex; }

ul.supporting { margin-top: 0; margin-bottom: 1ex; }
ul.supporting li { margin-top: 0.3ex; margin-bottom: 0.3ex; font-size: 90%; }

dl.teachinghistory > dt { font-style: italic; }
dl.teachinghistory > dt:not(:first-of-type) { margin-top: 1.5ex; }
dl.teachinghistory > dd > ul > li { margin-top: 0.5ex; margin-bottom: 0.5ex; }
dl.teachinghistory > dd > ul > ul > li { margin-top: 0.3ex; margin-bottom: 0.3ex; }