*: font-family = helvetic, text-background = #FFF, text-color = black
*: font-size = 18px, font-weight = medium
-- MARGINS

P, H1, H2: margin-left = 10pt, margin-right = 10pt
H1, ABSTRACT: margin-top = 14px, margin-bottom = 14px
P: margin-bottom = 5px
ABSTRACT: margin-left = 10pt, margin-right = 300pt

-- COLORS

H1: text-color = blue
H2: text-color = darkgreen
DT: text-color = red
P.initial: alt-text-color = #d0d
DIV.tailbar: text-color = orange

-- FONTS
H1: font-size = 34px
H2: font-size = 24px
H1, H2, H3, H4: font-style = small-caps, font-weight = bold
ABSTRACT: font-family = helvetica
FOOTER: font-size = 10px

P.INITIAL: text-effect = small-caps, alt-font-size = 20pt, 
EM.INITIAL : font-style = small-caps


$HTML-SOURCE : font-family = courier, font-weight = bold,
text-color = black, text-background = white