diff --git a/htdocs/main.inc.php b/htdocs/main.inc.php index c3747041d20..1388e69e337 100644 --- a/htdocs/main.inc.php +++ b/htdocs/main.inc.php @@ -458,9 +458,10 @@ function top_menu($head, $title="", $target="") print ''."\n"; print ''."\n"; - // TODO implementer les alternate css + // Definition en laternate style sheet des feuilles de styles les plus maintenues print ''."\n"; print ''."\n"; + print ''."\n"; if (strlen($title) > 0) {