a:link { color: #DF252B; }

a:active { color: #DF252B; }

a:visited { color: #DF252B; }

body { background-color: whitesmoke; }

h1 { font-size: 13pt; font-weight: bold; text-decoration: underline; color: #DF252B; }

h2 { font-size: 11pt; color: #DF252B; }

td { font-family: helvetica, verdana, arial; font-size: 10pt; text-align: justify; }

.prog { background-color: crimson; text-align: center; }

.big { font-size: 11pt; }

.blue { color: #DF252B; }

.rotbold { color: #DF252B;; font-weight: bold; }

.out { text-decoration: line-through; }

.right {text-align: right; }

.block { text-align: justify; }

.table { border-style: double; border-width: medium; border-color: crimson; padding: 5mm; }

.table2 {border-style: ridge; border-width: thin; border-color: #DF252B; padding: 2mm; font-weight: bold; text-align: left; }

<!-- font-variant:small-caps;-->