Jonathan Frederic
|
7926c36b0d
|
Remove right margin from the terminal
|
11 years ago |
Jonathan Frederic
|
972065ad22
|
Additional aesthetic clean-up
|
11 years ago |
|
Jonathan Frederic
|
94a893d975
|
Prevent terminal from scrolling
|
11 years ago |
|
Jonathan Frederic
|
fbc2adf2d5
|
Make things consistent
|
11 years ago |
|
Jonathan Frederic
|
726c95cbff
|
Address review comments
|
11 years ago |
|
Jonathan Frederic
|
79fe99d124
|
Make terminal pretty
|
11 years ago |
|
Jonathan Frederic
|
3969f0ec84
|
Move terminal less into better location
|
11 years ago |
Thomas Kluyver
|
8917e9951e
|
Move terminal CSS into LESS file
|
11 years ago |
|
Thomas Kluyver
|
d352d52bd8
|
Add comment explaining 1.02 factor
|
11 years ago |
Bussonnier Matthias
|
1b200e5504
|
recompute dummy size dynamically + styling in css
|
11 years ago |
|
Thomas Kluyver
|
9c0084e615
|
Multiple terminals and conditional initialisation
|
11 years ago |
|
Thomas Kluyver
|
d4676bf2ad
|
Terminal basically working
Still need to deal with things like authentication
|
11 years ago |
|
Thomas Kluyver
|
d211ebf067
|
Basic infrastructure for terminal page
|
11 years ago |
