Small bugfix in CSS - hide corner circle when minimized.