Fix platform- and theme-dependent cosmetic issue in label alignment.