a.button:link {text-decoration:none; 
        color:white; 
        background-color:#BF0000; /* #D40233 ; */
        border-top: 2px solid #FF525B;
        border-right: 2px solid #7B020A;
        border-bottom: 2px solid #7B020A;
        border-left: 2px solid #FF525B;
        padding: 3px; 
        width: 120px; 
        height="30";
        font-size: 18px;}
a.button:active {text-decoration:none; 
        color:white; 
        background-color:#BF0000; /* #D40233 ; */
        border-top: 2px solid #FF525B;
        border-right: 2px solid #7B020A;
        border-bottom: 2px solid #7B020A;
        border-left: 2px solid #FF525B;
        padding: 3px; 
        width: 120px; 
        height="30";
        font-size: 18px;}
a.button:visited {text-decoration:none; 
        color:white; 
        background-color:#BF0000; /* #D40233 ; */
        border-top: 2px solid #FF525B;
        border-right: 2px solid #7B020A;
        border-bottom: 2px solid #7B020A;
        border-left: 2px solid #FF525B;
        padding: 3px; 
        width: 120px; 
        height="30";
        font-size: 18px;}
a.button:hover {text-decoration:none; 
        color:#000000; 
        background-color:#D7D8D9;
        border-top: 2px solid #EDEFF2;
        border-right: 2px solid #747575;
        border-bottom: 2px solid #747575;
        border-left: 2px solid #EDEFF2;
        padding: 3px; 
        width: 120px; 
        height="30";
        font-size: 18px;}

a.button2:link {text-decoration:none; 
        color:white; 
        background-color:#D40233;
        border-top: 2px solid #FF525B;
        border-right: 2px solid #7B020A;
        border-bottom: 2px solid #7B020A;
        border-left: 2px solid #FF525B;
        padding: 3px; 
        width: 160px; 
        height="30";
        font-size: 18px;
        text-align:center;}
a.button2:active {text-decoration:none; 
        color:white; 
        background-color:#D40233;
        border-top: 2px solid #FF525B;
        border-right: 2px solid #7B020A;
        border-bottom: 2px solid #7B020A;
        border-left: 2px solid #FF525B;
        padding: 3px; 
        width: 160px; 
        height="30";
        font-size: 18px;
        text-align:center;}
a.button2:visited {text-decoration:none; 
        color:white; 
        background-color:#D40233;
        border-top: 2px solid #FF525B;
        border-right: 2px solid #7B020A;
        border-bottom: 2px solid #7B020A;
        border-left: 2px solid #FF525B;
        padding: 3px; 
        width: 160px; 
        height="30";
        font-size: 18px;
        text-align:center;}
a.button2:hover {text-decoration:none; 
        color:#000000; 
        background-color:#D7D8D9;
        border-top: 2px solid #EDEFF2;
        border-right: 2px solid #747575;
        border-bottom: 2px solid #747575;
        border-left: 2px solid #EDEFF2;
        padding: 3px; 
        width: 160px; 
        height="30";
        font-size: 18px;
        text-align:center;}

a:link {color:#FFFFFF} /* unvisited link */
a:visited {color:#FFFFFF} /* visited link */
a:hover {color:#FF0000} /* mouse over link */
a:active {color:#FFFFFF} /* selected link */

a.library:link {color:#FFFFFF} /* unvisited link */
a.library:visited {color:#FFFFFF} /* visited link */
a.library:hover {color:#000000} /* mouse over link */
a.library:active {color:#FFFFFF} /* selected link */

p.history {text-align:justify;
           margin-left: 0.25in;
           margin-right: 0.25in;
           font-size:12pt;
           line-height:115%;
           font-family:Arial;}