web/produced/style/mir.css

   1 a {  color: #0000CC; text-decoration: underline}
   2 a:hover {  color: #333333; text-decoration: none}
   3 td {  font-family: "Times New Roman", Times, serif}
   4 .small {  font-size: x-small}
   5 pre {  font-family: "Courier", Courier, serif}