.lft { text-align: left; }
.rgt { text-align: right; }
.cen, .ctr { text-align: center; }
.bd { font-weight: bold; }
.it { font-style: italic; }
.tt { font-family: monospace; }
.ul { text-decoration: underline; }
.grbig { font-size: 120%; }
.big { font-size: 110%; }
.sans { font-family: sans-serif; }
.mono { font-family: courier, monospace; }
.nb { white-space: nowrap; }

h1,h2,h3 { font-family: sans-serif }
h1 { font-size: 125%; text-align: center; margin-bottom: 1em; }
h2 { font-size: 110%; margin-top: 1em; margin-bottom: 0; }
h3 { font-size: 105%; margin-top: 0.5em; margin-bottom: 0; }

body { margin-left: 2em; margin-right: 2em; padding-bottom: 0.25cm; }

/* Top-level paragraph spacing.  <div class="p"> is styled sort of like a 
   paragraph, but can contain whatever a <div> can contain. */
p, div.p { margin-bottom: 0.3em; margin-top: 0.3em;  text-indent: 2em;}
div.p div, li p, li div.p { text-indent: 0; }
h2 + p, h3 + p, h2 + div.p, h3 + div.p,
h2 + ol, h3 + ol, h2 + ul, h3 + ul, h2 + div, h3 + div
{
    margin-top: 0.1em;  
}

/* These are lists that sort of stand alone. */
ol, ul { margin-bottom: 0.5em; margin-top: 0.5em }
li { margin-top: 0; }
li + li {margin-top: 0.3em; }

li p, li div.p, div.intbody p, div.intbody div.p { text-indent: 0 }
li p + p, li p + div.p, li div.p + p, li div.p + div.p,
div.intbody p + p, div.intbody p + div.p,  
    div.intbody div.p + p, div.intbody div.p + div.p
{
    margin-top: 0.2em;
}

/* div.intbody is the body area of the interface package. */
div.intbody p:first-child, div.intbody div.p:first-child
{
    margin-top: 0;
}

li div.intent + div.intent { margin-top: 0.2em; }

/* Lists inside of logical paragraphs are not spaced so much. */
div.p ol, div.p ul { margin-bottom: 0.2em; margin-top: 0.2em }
div.p li + li { margin-top: 0.1em; }

/* Won't usually do this. */
p + h1, div.p + h1 { margin-top: 2em }

/* Nesting with lists. */
ol ol { list-style-type: lower-alpha; }
ol ol, ol ul, ul ol, ul ul {
    margin-top: 0; margin-bottom: 0.2em;
}
ol ol li, ol ul li, ul ol li, ul ul li {
    margin-top: 0;
}