Board Thread:CSS Development/@comment-25744472-20191230072513/@comment-25744472-20191230075413

It is in the MediaWiki:Common.js. Should I put it somewhere else?