macosx: allow the user to minimize the main window by double-clicking the window title when using the dark UI variant

This respects the system preferences' global setting.