SMALL.TINY		{ font-size : xx-small }
SMALL.SCRIPTSIZE	{ font-size : xx-small }
SMALL.FOOTNOTESIZE	{ font-size : x-small  }
SMALL.SMALL		{ font-size : small    }
BIG.LARGE		{ font-size : large    }
BIG.XLARGE		{ font-size : x-large  }
BIG.XXLARGE		{ font-size : xx-large }
BIG.HUGE		{ font-size : xx-large }
BIG.XHUGE		{ font-size : xx-large }


A:link {    color: red }
A:visited { color: dark-grey; }

H1 {
    clear: left;
    margin-top: 2em;
    text-align: center;
    color: black;
    font-size: 250%
}

P.PP {
    text-align: justify;
    text-indent: 1em;
    margin-top: 0.2em;
    margin-bottom: 0;
}

P.LP {
    text-align: justify;
    margin-top: 0;
    margin-bottom: 0;
}

P.NF {
    text-indent: 1em;
    margin-top: 0.2em;
}

ADDRESS {
    font-family: helvetica,arial,sans-serif;
    font-weight: bold;
    font-style: normal;
    font-size: 110%;
    text-align: center;
}

PRE {
    font-family: monospace;
    font-size: 90%;
    white-space: pre;
    padding: 0.2em;
    color: black;
    background: rgb(240,240,240);
}

PRE B {
    color: rgb(0, 0, 64);
}

BODY {
    margin: 1em;
    background: white;
    color: black;
}

DIV.CRIT {
    border: solid;
    border-width: medium;
    width: 80%
    clear: left;
    text-align: center;
    font-size: 120%;
    font-weight: bold;
    color: red;
    padding: 0.5em;
    background: yellow;
}

DIV.footer { 
    font-size: 75%
}

DIV.figure { 
    text-align: center;
    border: solid thin grey;
    margin: 2em;
}

IMG {
    border: 0;
}

CODE.icon {
    font-family: helvetica;
}