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;

}
H1 {
	font-weight: bold;
	font-size: 16px;
	font-family: Verdana, sans-serif
}
H2 {
	font-weight: bold;
	font-size: 18px;
	color: #660000;
	font-family: Verdana, sans-serif
}
H3 {
	font-weight: bold;
	font-size: 20px;
	color: #660000;
	font-family: Verdana, sans-serif
}
.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: #660000;
        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;
}
.theorem{
	background-image : ;
	background-repeat : repeat;
}
.proof{
       font-size: 16px; 
}
.prooftitle{
        font-size: 16px;
        background-color : ;
        font-style : underlined;
}