Merge "skins: Make border style of <pre> more subtle for common skins"