Schriftgrößen in Quicktips für fett und kursiv anpassen

created branch 801-schriftgrossen-in-quicktips-fur-fett-und-kursiv-anpassen

mentioned in merge request !1311 (merged)

closed via commit 6c68f3d4

mentioned in commit 6c68f3d4

mentioned in commit 4001e042