 The CSS sets it to 15px, which seems odd to me.