Remplacement de style='font-family:...' par un attribut class. Obtenu après...

Remplacement de style='font-family:...' par un attribut class. Obtenu après mise au carré (incluant une dizaine de scories) et application du sed-script suivant:
{{{
s,\(<[^>]* style='[^']*\)font-family: *[Vv]erdana[^';]*[ ;]*\([^>]*\)>,\1\2 class='verdana1'>,
s,\(<[^>]* style='[^']*\)font-family: *[Aa]rial[^';]*[ ;]*\([^>]*\)>,\1\2 class='arial1'>,
s,\(<[^>]*\) style=''\([^>]*>\),\1\2,
}}}
Reste 10 occurrences, dans 2 balises (pas attribut) style (minipres et aide_index) qu'il faudrait globalement passer en CSS.