make hover font configgable for #900