added a kind of oversampling for labels when rendered as HTML