Changes

MediaWiki:Vector.css

No change in size, 18:58, 5 June 2015
no edit summary
div#mw-panel div.portal {
padding-bottom: 0px5px;
}
/* background colors and whatnot */