Fixes #464,

with the caveat that I wish I understood why the glyphicons css does what it does.