@renato I think we should use one of the font packages that does this already and try and reduce it's size. Seems easier then writing code to do it.
@renato
I think we should use one of the font packages that does this already and try and reduce it's size. Seems easier then writing code to do it.