Comment 5 for bug 722234

le bug est lié aux propriétés CSS content associées aux éléments suivants:
#toc__inside li.level1 span:before
et
#toc__inside li.level2 span:before

Dans ces éléments, des propriétés "content" définissent le comportement de l'ajout de la numérotation automatique. Le problème vient du fait que les spans insérés pour indiquer le succès de la requête héritent aussi de ces propriétés, et les appliquent. La solution consiste donc à désactiver les propriétés content pour les spans de classe search_hit. Voit patch attaché.

Le patch est sous forme de script stylish, vu que c'est la manière la plus commode pour moi de tester ce genre de modification. L'ensemble du code à insérer dans doc-general.css pour régler le bug se résume à ceci:

span.search_hit:before{
    content: none !important;
}