body	{ margin: 5% }


Body, H1, H2, H3, H4, H5, H6, P, OL, UL, TD { color: black; font-family: sans-serif; } /* font-weight: bold */


h1	{ font-size: 150%; }
h2	{ font-size: 140%; }
h3	{ font-size: 130%; }
h4	{ font-size: 120%; }
h5	{ font-size: 110%; }
h6 	{ font-size: 100%; }

/* Changed "font-size: 150%;" etc to "font-size: 100%;" for some reason.  Changed back now. */
h1 tt	{ font-family: fixed; font-size: 150%; }
h2 tt	{ font-family: fixed; font-size: 140%; } /* see 06.12 const member¤ functions */
h3 tt	{ font-family: fixed; font-size: 130%; }
h4 tt	{ font-family: fixed; font-size: 120%; }
h5 tt	{ font-family: fixed; font-size: 110%; }
h6 tt	{ font-family: fixed; font-size: 100%; }

a	{ font-weight: bold; text-decoration: none }

A:active  { color: blue; }

A:visited { color: navy }


pre, code, tt { font-family: fixed; font-size: 100%; font-weight: bold }

LI { list-style-type: disc; display: list-item }


P { margin-right: 5%; margin-bottom: 1em }

#endnotes { font-family: serif; font-size: small }
#glossary { font-size: x-small }
#synopsis { font-weight: bold }