Large Text font size isn't always applied

[viper-admin]

Created by @alexanderjsummers on 2019-11-18 15:00

For example, loading the log file attached to this issue, selecting the topmost node and clicking Explain Path yields an explanation in which some term structure is displayed in small font. Similarly, selecting a diamond node, the theory-solver-related text is small.