ol { /* list text should match p text */ font-family: <?php echo $fontlistBody; ?> ; font-size: <?php echo $fsize['p']; ?> px; font-size-adjust: 0.58; /* Verdana */ font-style: normal; list-style-type: decimal; /* upper-roman; */ list-style-position: outside; margin-top: 0em; /* copied from webtoolsstyle */ <?php if (!$browser->is_ie() && $styleBodyIndent) { echo 'margin-left: 2%;' . "\n"; } ?> } ul { /* list text should match p text */ font-family: <?php echo $fontlistBody; ?> ; font-size: <?php echo $fsize['p']; ?> px; font-size-adjust: 0.58; /* Verdana */ font-style: normal;