Variable extra.css 

Code pour l'insertion du fichier sans attendre le dom est intégré à nav.js donc on en a plus besoin et on peut réutiliser la variable classique f$_extra_css = true;