@@ -147,7 +147,7 @@ p.footnote {
}
h1 { margin-top: .75em; margin-bottom: .5em; }
/* h2 { margin-top: .75em; margin-bottom: .5em; } */
h2 { margin-top: .75em; margin-bottom: .5em; }
h3 { margin-top: .6em; margin-bottom: .4em; }
#mainContent ul, #mainContent ol { padding-left: 1.5em; }
@@ -233,16 +233,16 @@ body > header {
#navbar li:hover ul {
display: block;
#navbar li:last-child ul {
/* Right-align the second last and last sub-menus. */
#navbar li:nth-last-child(2) ul, #navbar li:nth-last-child(1) ul {
left: auto;
right: 0;
text-align: right;
#mainContent {
margin: 0 auto;
overflow: auto;
#sidebar + #mainContent {
float: left;