Thread:Ironwestie/@comment-44376077-20191204220933/@comment-44376077-20191205170144

Thanks for the clarification.

Relatedly, would you mind copying Wikipedia's  CSS (it's at wikipedia:MediaWiki:Common.css) over to this wiki's MediaWiki:Common.css? It's not a big issue, but it is sort of bothering me that all the navigation boxes use "fake" lists.