mainly in navbars, where we were doing custom
things that bootstrap already did with classes.
This did require the removal of multiple class LESS inheritance for
navbar buttons, because it doesn't work properly. Seems like a LESS bug, but I'm not sure.
We had various overrides of the bootstrap defaults for font-size and line-height every time we made a pre tag,
and then some overrides of our overrides when we wanted something slightly different.
This moves the most basic overrides to apply to all pre tags,
reducing the number of downstream changes we need.
Min RK
Jonathan Frederic
Jonathan Frederic
Paul Ivanov
Brian E. Granger
Matthias BUSSONNIER