User blog comment:Rappy 4187/Technical Update: May 11, 2016/@comment-11733175-20160511202337/@comment-5288784-20160511203506

If you are serious at writing your own custom CSS, then you would likely look at the source anyway. And looking it up in JS is also easy, just enter wgDBname into the console, since it's an already defined variable.