body {  font-family: Times, serif;
            font-size: 12pt; }

a { text-decoration: underline; }