2 Commits (0cfd8731a039ff6c0a3bfa6219d394c4387e22fa)

Author SHA1 Message Date
Thomas Kluyver 8917e9951e Move terminal CSS into LESS file
12 years ago
Bussonnier Matthias 1b200e5504 recompute dummy size dynamically + styling in css
12 years ago