@ -82,6 +82,11 @@ h1 {
h2 { font-size: 130%; }
a.footnote {
vertical-align: super;
font-size: smaller;
}
/* comments */
div#comments {
padding: 5px;