User blog comment:Rappy 4187/Technical Update: July 19, 2017/@comment-5211495-20170721031520/@comment-24258073-20170721122618

True. I had to undo a patch which I'd made by altering the border width by editing the main page, since I didn't use CSS for adjusting the border width for the main page specifically, though I did use CSS for pretty much everything else concerning the main page.