Firefox 3 - enlarge user-agent field in about box