Changes
}
/* [[Phabricator:T37337]], improve resolution of logo on high-resolution screens. */
@media (-webkit-min-device-pixel-ratio: 1.5), (min-resolution: 1.5dppx) {
#p-logo a {
background-size: 135px auto;
}
}*/
/* 'Undo' [[gerrit:188311]] for wikitable padding while under discussion */
