body         { font-family: Times New Roman; font-size: 12pt; color: #000080 }
table        { font-family: Times New Roman; color: #000080 }