This was originally in a separate CSS file. Then as part of this code review we moved it into an internal style at @julienw's suggestion. This patch will never land if we're changing things back and forth.