Last modified: 2013-07-01 12:37:59 UTC
It's not bold initially but after a while it becomes bold. It seems some relevant styles are loaded together with preferences form JavaScript at position=>bottom.
This has been bugging me too. I'll fix it.
Related URL: https://gerrit.wikimedia.org/r/67232 (Gerrit Change I91bb6312c2af2e1deb4e0124bb51922a608e46fd)
Merged.