Update style.css.php

This commit is contained in:
Frédéric FRANCE 2019-03-14 09:18:51 +01:00 committed by GitHub
parent bb14562f7b
commit 9be780f47d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1824,7 +1824,7 @@ foreach($mainmenuusedarray as $val)
else
{
print "/* A mainmenu entry was found but img file ".$val.".png not found (check /".$val."/img/".$val.".png), so we use a generic one */\n";
$url=dol_buildpath($path.'/theme/'.$theme.'/img/menus/generic'.(min($generic,4))."_over.png", 1);
$url=dol_buildpath($path.'/theme/'.$theme.'/img/menus/generic'.(min($generic, 4))."_over.png", 1);
print "div.mainmenu.".$val." {\n";
print " background-image: url(".$url.");\n";
print "}\n";