18 Commits

Author	SHA1	Message	Date
Matthias Bussonnier	f51872c4c2	Merge pull request #7346 from jdfreder/terminal-page ... Use page backdrop color in terminal page	2015-01-06 12:27:46 +01:00
Jonathan Frederic	f0da3c863c	Make headerbar -1 margin global	2015-01-05 11:12:23 -08:00
Jonathan Frederic	8ff7381ef3	Remove superfluous body tag from terminal less	2014-12-31 08:43:58 -08:00
Jonathan Frederic	7b602f07cc	Use page backdrop with the terminal	2014-12-29 12:37:02 -08:00
Matthias Bussonnier	4e2dfe2527	Some code cleanup in javascript and python ... change patern that are prone to error, like function redifinition and other.	2014-12-27 21:39:07 +01:00
Jonathan Frederic	7926c36b0d	Remove right margin from the terminal	2014-12-18 16:28:59 -08:00
Jonathan Frederic	972065ad22	Additional aesthetic clean-up	2014-12-18 15:19:36 -08:00
Jonathan Frederic	94a893d975	Prevent terminal from scrolling	2014-12-18 15:19:36 -08:00
Jonathan Frederic	fbc2adf2d5	Make things consistent	2014-12-18 15:19:36 -08:00
Jonathan Frederic	726c95cbff	Address review comments	2014-12-18 15:19:35 -08:00
Jonathan Frederic	79fe99d124	Make terminal pretty	2014-12-18 15:19:35 -08:00
Jonathan Frederic	3969f0ec84	Move terminal less into better location	2014-12-18 15:19:35 -08:00
Thomas Kluyver	8917e9951e	Move terminal CSS into LESS file	2014-10-25 17:15:36 -07:00
Thomas Kluyver	d352d52bd8	Add comment explaining 1.02 factor	2014-10-25 17:15:36 -07:00
Bussonnier Matthias	1b200e5504	recompute dummy size dynamically + styling in css	2014-10-25 17:15:36 -07:00
Thomas Kluyver	9c0084e615	Multiple terminals and conditional initialisation	2014-10-25 17:14:40 -07:00
Thomas Kluyver	d4676bf2ad	Terminal basically working ... Still need to deal with things like authentication	2014-10-25 17:14:40 -07:00
Thomas Kluyver	d211ebf067	Basic infrastructure for terminal page	2014-10-25 17:14:39 -07:00