[Bug 1839] New: bad window border on mozilla