fixes wiki font-size after bad resolved conflicts

in ed93fb982d19efef28d
Merge pull request #1479 from opf/fix/wrong_font_size_on_wiki_pages

fixes wiki font-size after bad resolved conflicts