##// END OF EJS Templates
remove some redundant font-family: monospace...
remove some redundant font-family: monospace `pre`, `code` tags already set the font-family in these contexts. Setting it again in the surrounding context is redundant, and causes inconsistency when embedding notebooks in HTML (e.g. nbviewer).
MinRK -
r15829:5b8247a1
Show More
Name Size Modified Last Commit Author
/ IPython / terminal / console
tests
__init__.py Loading ...
__main__.py Loading ...
app.py Loading ...
completer.py Loading ...
interactiveshell.py Loading ...