/* Plan would be:
   The contents of this file are grouped under tag, class, id and finally a
   misc. section. The items under these sections are ordered alphabetically
   in order to make things easier to find.

 text-decoration: line-through;

 */

body {
 color: black;
 background: white;
 padding: 2em 2em 2em 50px;  /* fixed width on left to accomodate menu */
 margin: 0;
 font-family: sans-serif;
 text-align: left;
}
div.header, 
div.footer {
 margin: 0;
 padding: 0;
}
h1, h2, h3 { color: navy; }
h1 { font: 150% sans-serif; text-align: center; }
h2 { font: 130% sans-serif; /* border-bottom: solid 2px red; */ }
h3 { font: 115% sans-serif; }
h4 { font: bold 100% sans-serif; }
h5 { font: italic 100% sans-serif; }
h6 { font: small-caps 100% sans-serif; }
p { }
p.copyright { font-size: small }
pre {
 margin-left: 2em;
 font-family: monospace;
 /* white-space: pre;
 background-color: #dfdfdf;
 border: solid black 1px;
 padding: 0.5em; */
}
code { font-family: monospace;
 /* color: green; */
 font-weight: bold;
}
a { text-decoration: none; }
a:link,
a:visited,
a:active { color: blue; }
a:hover {
 color: blue;
 text-decoration: underline;
}
a:link img,
a:visited img {
 border-style: none;  /* get rid of the border on img links */
}
table {
 border: 0;
 padding: 4px;
}
td {
 text-align: left;
 vertical-align: top;
}

div.navbar { text-align: center; }
.important { border: solid red 2px; padding: 2px; }