** Bug watch added: GNOME Bug Tracker #165678 http://bugzilla.gnome.org//show_bug.cgi?id=165678 -- Changing font for displaying documentation doesn't work https://launchpad.net/malone/bugs/36528