- Match warning counter circle size with Ok mark size;
- Make warning counter expandable to show large amount of warnings
- Align baselines of Warning and Preferences items, use larger font
Small fixes
Minor fixes
LogicalRules improvements
Fix qVar