This commit fixes the alignment of the color theme options in
User Settings > Preferences > Navigation Theme when the name of the
theme is long.