Changes

MediaWiki:Vector.css

No change in size, 04:00, 6 July 2016
no edit summary
div#p-Navigation.portal {
margin-left: 01.7em;
}
/* background colors and whatnot */