##// END OF EJS Templates
proportional font-size when editing heading cells...
proportional font-size when editing heading cells @MinRK @takluyver and I had the idea to do this when we were discussing #6225.
Paul Ivanov -
r17467:419586d3
Show More
Name Size Modified Last Commit Author
/ IPython / nbconvert / writers
tests
__init__.py Loading ...
base.py Loading ...
debug.py Loading ...
files.py Loading ...
stdout.py Loading ...