- Changed default font size for GUI elements to 11 from 12.

Author: ThomasAkam

config/gui_settings.py

@@ -8,5 +8,5 @@
 state_history_len  = 100  # Length of state history to plot (# states). 
 analog_history_dur = 12   # Duration of analog signal history to plot (seconds).
 
-ui_font_size  = 12  # Font size of UI elements (button text, label text etc.).
+ui_font_size  = 11  # Font size of UI elements (button text, label text etc.).
 log_font_size = 9   # Font size of the data log.