##// END OF EJS Templates
Merge pull request #928 from punchagan/font-size-shortcut-context...
Merge pull request #928 from punchagan/font-size-shortcut-context BUG: Set context for font size change shortcuts in ConsoleWidget
Evan Patterson -
r5193:444cde75 merge
Show More
Name Size Modified Last Commit Author
/ IPython / frontend / html / notebook / static / css
base.css Loading ...
boilerplate.css Loading ...
layout.css Loading ...
notebook.css Loading ...
projectdashboard.css Loading ...
renderedhtml.css Loading ...