Redundant newline
Merge pull request #375 from jammm/master

Removed unused UI elements. Issue #367
fixed font issues in render widget
Merge pull request #377 from sriravic/issue365

fixed font issues in render widget
improved camera handling while zoomed.
fixed bug in text preprocessor.

symbol definitions guarded by an #ifdef with a false condition were processed (and the symbols were defined) instead of being ignored.
define the __linux__ symbol when preprocessing stylesheet files on Linux.
removed hardcoded styles.
Merge pull request #378 from crest01/new_branch

improved camera handling while zoomed.
cosmetics and minor code tweaks.