BODY {
        font-size: 16px;
        font-family: Times;
        margin-left: 113px;
        margin-right: 30px;
        margin-top: 0px;
        color: #000000;
}
td{
        font-size: 16px;
        font-family: times;

}
.testbar {
        position : relative;
        right : -30px;
}

.note {
        background-color : #FFFFCE;
}

.unknown{
        font-size: 10px;
        font-family : Arial, Helvetica, sans-serif;
        color : #FF3100;
}

.caption{
        font-family: Times;
        font-size : 14px;
}

.number{
        font-family: Times;
        font-size : 14px;
}
.signature{
        font-family: "Times New Roman", Times, serif;
        font-style : italic;
        font-size : 14px;
        float : right;
}

.pre{ 
        font-family: "Times New Roman", Times, serif;
        font-size : 14px;
}

.descriptiontitle{
        font-weight: bold;
        font-size: 18px;
        color: #5B2D00;
        font-family: Verdana, sans-serif;
        margin-top: 15px;
        margin-bottom: 15px;
}

.modelname{
        font-weight: bold;
        font-size: 16px;
        font-family: Verdana, sans-serif;
        margin-top: 15px;
        margin-bottom: 15px;
}

.unit{
        font-family: Verdana, Geneva, Arial, Helvetica, sans-serif;
        font-size : 11px;
}
.table{
        background-color : #B2584B;
}

.proof{
 	font-size: 16px;
}
.prooftitle{
        font-size: 16px;
        font-style : underlined;
	color: #5B2D00;
}
A:visited{
        COLOR: #5B2D00;
}
.theorem{
        background-color : ;
}