Small bugfix in CSS - hide corner circle when minimized.
Merge branch 'develop'