Matthias Bussonnier c106e76a66 fix end_space size ... closes #7409 Mostly a symptome of too many nested div that do different things. don't try to both have an end space inside and outside the 'document' area. And don't try to also get the things to be 100viewport height by hacking around and make them smaller;		2015-01-11 15:34:25 +01:00
..
ipython.less	Address comments	2014-12-16 11:32:43 -08:00
ipython.min.css	recompile css	2015-01-04 12:13:50 -08:00
style.less	Move terminal less into better location	2014-12-18 15:19:35 -08:00
style.min.css	fix end_space size	2015-01-11 15:34:25 +01:00