body.menu { border-style:inset; border-width:1; background-color:#000080
; font-size:10pt; text-align:center; whitespace=nowrap }
body.content { background-color:#FFFFFF; font-size:11pt; text-align:left; }
body.centeredcontent { background-color:#FFFFC0; font-size:11pt; text-align:center; }
div.title { font-weight:bold; font-size:14pt; }
p.title { font-weight:bold; font-size:14pt; text-align:center; }
p.subtitle { font-weight:bold; font-size:12pt; text-align:center; }
p.subsubtitle { font-weight:bold; font-size:12pt; text-align:center; }
p.centeredcontent { text-align:center; }
p.highlight { text-align:center; font-size:12pt}