body { font-family: Sitka, Georgia, Baskerville, "Times New Roman", serif }

h1, h2, h3 { color: #000044; font-family: Helvetica, sans-serif }

h2 { border-bottom: 1px solid #000044; border-top: 2px solid #000044; margin-top: 0px }

.aside { font-size: smaller; background-color: #dddddd; border: 2px solid lightblue }

p { margin-left: 2% }

pre { margin-left: 4% }

img { margin-left: 4% }

.filename { font-style: oblique }

table { margin-left: 4%; font-size: smaller }
tr.o td { background-color: #dddddd; color: black; border: 1px solid gray }
tr.e td { background-color: #eeeeee; color: black; border: 1px solid gray }