.translate { font-weight: bold; font-size: 8pt; color: #0000AA; font-family: Verdana, Geneva, Arial, Helvetica; }
.defi { font-weight: normal; text-decoration: none; border-bottom: dashed 1px #880000; color: #880000; }

a{ text-decoration: none; }
body{ font-family: Verdana, Geneva, Arial, Helvetica; font-size:12px; }