As I've said countless times, this isn't in the stock product; it's a tweak to the css files that I've applied for him when he contracted me for styling.
Several of my free themes that I've released have this in them, just look at their "Extra CSS" directive in the style editor when editing one of them (note that not all of them have it)
