body {
        background-color: #fffcf8 ;
        color: #220033 ;
        padding-left: 2em ;
        padding-right: 2em ;
}
h1, h2, h3 {
        font-family: sans-serif ;
        color: #334466 ;
}
h3 {
        margin-left: 1em ;
}
p {
        margin-left: 3em ;
}

/* We usurp the HTML <I> element for comments. That way, non-CSS browsers
   will also be able to distinguish comments from other text. */
i {
        font-style: italic ;
        color: #116611 ;
}
i:before { content: "("; }
i:after { content: ")"; }
i em {
        font-style: italic ;
        text-decoration: underline ;
}

p.defn {
        font-family: sans-serif ;
        border: 1px solid blue ;
        padding: 0.5em 1em ;
        margin-left: 6em ;
        margin-right: 2em ;
        background-color: #FCFCFC ;
}
p.defn b {
        font-weight: bold ;
        font-style: italic ;
        color: #550033 ;
}