pre.code { margin-left: 25px ; color: #0000C0 ; }
pre.ini { margin-left: 25px ; color: #804000 ; }

.menuOption {  font-size: small; font-weight: bold; font-style: normal}
.sectionHeader {  font-family: Arial, Helvetica, sans-serif; font-size: large; font-weight: bold; font-style: italic; }
.subSectionHeader {  font-family: Arial, Helvetica, sans-serif; font-weight: bold; font-style: italic; font-size: medium}
.footnote {  font-size: 75%; font-family: Arial, Helvetica, sans-serif}

body {  font-family: Georgia, "Times New Roman", Times, serif}
p { text=align: justify ; }