P.button {
        font-family: sans-serif;
        font-size: 80%; 
        font-weight: bold;
        border-width: medium;
        border-style: outset;
        float: right;
    }

    A.button { text-decoration: none; }

    H2 {
        color: #003333;
        font-size: 16pt;
        font-family: sans-serif;
        font-weight: bold;
    }

    H2 SMALL {
        color: #003333;
        font-size: 70%;
    }

    H3 {
        color: #003333;
        font-size: 13pt;
        font-family: sans-serif;
        font-weight: bold;
    }

    H4 {
        color: #003333;
        font-size: 12pt;
        font-family: sans-serif;
        font-weight: bold;
    }

   H3 SMALL {
        color: #003333;
        font-size: 80%;
    }

    H3 TT { font-family: monospace }

    TD TT { font-family: monospace }

    PRE TT { color: black }

    .example {
        color: #990000;
        font-family: monospace;
    }

    .squared {
        padding: 4;
        margin-right: 0;
        border: solid thin red;
    }

    .boxexample {
        color: #006666;
        font-family: sans-serif;
        font-size: 80%;
    }

    .note {
        color: #003333;
        padding: 0;
        font-family: sans-serif;
        font-size: 80%; 
        font-weight: bold;
        border-width: medium;
        border-style: outset;
        float: left;
	/*width: 100;*/
    }

    .sidebar { font-size: 10pt; font-family: sans-serif; }

A:hover{color:blue}