Add setup_mini_font
Remove some labels from ContextBar, modify tooltips look, and use mini font
Minor changes in skin parts to improve context bar buttons
Fix issue 298: Crash on quit with multiple viewports open