body {
font-family: "Times New Roman", serif;
background-color: #191970; /* midnightblue */
color: white;
line-height: 130%;
}

a:link {color: aqua;  text-decoration: underline;}
a:visited {color: #87CEFA;  text-decoration: underline;} /* lightskyblue */
a:hover {color: yellow; text-decoration: underline;}

#navbar {
list-style-type: none;
font-family: Arial, Helvetica, sans-serif;
font-weight: bold;
padding: 0;
margin: 0;
position: fixed;
top: 1em;
left: 1em;
width: 10em;    
}

#navbar ul {list-style-type: none;}

.navbar a:link, .navbar a:visited {text-decoration:none;}

li {margin-bottom: 0.5em;}

/* ul.subnav {margin-left: -1em;} */
ul.subnav {position: relative;
left: -1em;}

ul.subnav li{margin-bottom: 0em;}

#content {
margin-left: 12em;
max-width: 30em;
padding: 1em 1em 1em 1em;
background-color: #09092F;
text-align: justify;
}

.heading {
font-family: Arial, Helvetica, sans-serif;
font-style: oblique;
font-weight: bold;
}

div.example {
margin: 2em 1em 2em 1em;
background-color: #191970; /* midnightblue*/
border: 2px solid #696969; /* dimgrey */
position:relative;
/* Goofy, but the h2.example position:absolute doesn't work without it */
}

h2.example  {
position:absolute;
top: -1.5em;
left: -1.0em;
}

.center  {
text-align:center;
}

.sub  {
padding-top:1em;
}

h2.rule  {
font-family: Arial, Helvetica, sans-serif;
font-weight: bold;
font-style: oblique;
font-size: 150%;
padding-top:1em;
}

p.equation {
font-weight:bold;
text-align:center;
font-style: oblique;
}

span.variable{
font-weight:bold;
font-style: oblique;
}

div.example p {padding: 0 1em 0em 1em;}

ol.alpha-list {list-style-type: lower-alpha;}

div.footer {border-top: solid 1px;}

ul.footnote {
font-size: 75%;
list-style-type: none;
line-height: 100%;
}