?>
;
font-size-adjust: 0.46; /* Times New Roman */
}
dl {
<?php
if ($styleBodyIndent) {
echo 'margin-left: 6%;' . "\n";
} else {
echo 'margin-left: 2%;' . "\n";
}
?>
}
dd {
<?php
if ($browser->is_moz4dn()) {
echo 'margin-bottom: 0px; /* NN */' . "\n";
} else {
echo 'margin-bottom: 0.5em;' . "\n";
}
?>
}
ol { /* list text should match p text */
font-family: <?php
echo $fontlistBody;
?>
;
font-size: <?php
echo $fsize['p'];
?>
