.head     { font-family: palatino, times new roman; font-size: 30px; font-variant: small-caps; }
.small    { font-family: palatino, times new roman; font-size: 10px; }
a         { font-family: palatino, times new roman; font-size: 12px; text-decoration: none; font-weight: bold; }
.a        { font-family: palatino, times new roman; font-size: 12px; text-decoration: none; font-weight: bold; }
a:hover   { font-family: palatino, times new roman; text-decoration: underline; }
.print    { font-family: palatino, times new roman; color: #ccccff; }
.original { font-family: palatino, times new roman; font-weight: bold; }
h4        { font-family: palatino, times new roman; font-weight: bold; font-size: 20px; }