- if (preg_match(",mozilla,i", $GLOBALS['browser_name'])) {
- $style = "padding-" . $GLOBALS['spip_lang_left'] . ": 16px; "
- . "margin-" . $GLOBALS['spip_lang_left'] . ": " . (($i - 1) * 16) . "px;";
- } else {
- $style = '';
- for ($count = 0; $count <= $i; $count++) {
- $espace .= " ";
- }