@@ -144,13 +144,13 @@ text-decoration: none; color: #557733;
p.footnote {
font-size: 85%;
}
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; }
.internalNavigate { width: 19%; float: right; }
@@ -230,22 +230,22 @@ body > header {
#navbar li ul a {
font-weight: normal;
#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;
#progressbar {