blockquote { font-size: 10pt; line-height: 14pt; }
a { text-decoration: none }
a:hover { font-weight:900; color:#7070FF }
BODY.def { background: #ffc; padding: 2%; }
BODY.defform { background: #ffc; }
H1.def { text-align: center; font-size: xx-large;
  border-style: double; border-width: medium 0; border-color: #9CC; }
H2.def { margin-left: -2%; background: #CFF; font-size: x-large;
  border-style: double; border-width: medium 0; border-color: #23f; }
H3.def { margin-left: -2%; font-size: large;}
H4.def { font-size: large;}
DIV.def_text { margin-left: 15%; }
P { text-indent: 1em; }
P.abstruct { font-size: small; }
BLOCKQUOTE { font-size: 80%; color:#08f; }