Changes

MediaWiki:Vector.css

No change in size, 09:16, 1 March 2017
no edit summary
position: -webkit-sticky; // required for Safari
position: sticky;
top: 5010; // required as well.
}
/* background colors and whatnot */