[Systeme] couleurs menus firefox / Debian (default theme)