Comment 7 for bug 1416572

Revision history for this message
Bernd Bausch (berndbausch) wrote :

I don't think the Font Awesome icons can be added via CSS or Javascript, but that would be the best solution.
My solution now is an extension to Sphinx - that is, we don't touch the Sphinx code but create a small Python program in the root directory of our document tree. Will submit shortly.