Work around bug in server term number changing font size on hover, etc