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

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

    A.button { text-decoration: none; }

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

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

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

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

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

    H3 TT { font-family: monospace }

    H2 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 {
border-top-width:0;
border-bottom-width:0;
border-right-width:4;
border-left-width:4;
border-style:solid;
border-color:#993366;
padding-left:10;
padding-right:10;
background-color:#F8E7EF;
}

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

#thisTut {
position:relative;
text-align: center;
border:thin black solid;
padding:5; z-index:-5;
}
.container { position:relative }

.leftMenu {
font-family:Arial,Geneva,Verdana,Helvetica;
font-size:10pt;
text-decoration: none;
}
.leftMenuMore {
font-family:Arial,Geneva,Verdana,Helvetica;
font-size:10pt;
text-decoration: none;
font-weight:bold;
}
A:hover{color:blue}