Make font configurable #84
Description
Replace the countless literal, hardcoded references to formerly "Liberation Sans" and now "DejaVu Sans" by a string variable that is set once by a configuration either in a source code file designated for configuration or in a configuration file that is read at startup.