##// END OF EJS Templates
remove Firefox-specific CSS workaround...
remove Firefox-specific CSS workaround The bug being worked around appears to be fixed either in CodeMirror or Firefox (tested with FF 29). Importantly, the workaround appears to *introduce* incorrect behavior closes #5192 closes #5364
MinRK -
r16716:a67ac8ec
Show More
Name Size Modified Last Commit Author
/ IPython / html / static / notebook / less
ansicolors.less Loading ...
cell.less Loading ...
celltoolbar.less Loading ...
codecell.less Loading ...
codemirror.less Loading ...
completer.less Loading ...
highlight.less Loading ...
menubar.less Loading ...
notebook.less Loading ...
notificationarea.less Loading ...
notificationwidget.less Loading ...
outputarea.less Loading ...
pager.less Loading ...
quickhelp.less Loading ...
renderedhtml.less Loading ...
savewidget.less Loading ...
style.less Loading ...
style_noapp.less Loading ...
textcell.less Loading ...
toolbar.less Loading ...
tooltip.less Loading ...
variables.less Loading ...