Fix too small fonts on high DPI screens
Created by: GeraldJansen
The use of pango.SCALE to set font sizes results in fonts that are too small on high DPI screens (see #312 (closed) and #289 (closed)). This pull request attempts to resolve the issue by only using relative font sizes (i.e. <small> tag) in the fact tree display.