Mantis #4423: changed font13tvg to font12