Slightly smaller size for `double-window-frame-width`.