49aad1bfbc
relocate super() content to other side of span
7 years ago
6f2946b9dc
Respect parent template headaercontent in child pages
7 years ago
91794ecb18
dont rely on css calc
8 years ago
2424f97360
more dead
8 years ago
c5fcd74756
remove dummy
8 years ago
94f6382ba6
fix path
8 years ago
538a89fee0
update paths
8 years ago
135358e943
Fix terminal header flex box layout
9 years ago
36b6c9e5d3
Add id=favicon in templates
...
The new dynamic favicon-changing code looks for an existing favicon in
the DOM with id 'favicon'. This uses that id in the templates, so we
don't end up with two favicon links in the page.
I was hoping that this would fix some issues I'm having with the favicon
getting stuck, but it doesn't seem to. :-(
9 years ago
5f3dbf9890
Use different favicons for different components (notebook, terminal, file)
9 years ago
dacfd21942
Add back xterm.css
9 years ago
47d4451958
remove webpack shims
...
restore explicit imports of jquery, etc.
9 years ago
67215cf8a7
Set ws-url data attribute to access notebook terminal via a specific base URL for websockets
10 years ago
8c038e3ddb
add missing url-encoding of base_url in terminal/edit templates
...
This was fixed in the notebook and tree views,
but overlooked in edit, terminal
10 years ago
378732e9f3
Get the terminal working
10 years ago
2d5d548d79
Revert "Use NPM, node ES5, and browserify."
11 years ago
b88fa0163a
Use npm for js and less builds
11 years ago
85d952b4d7
use minified `main.min.js` on each application
11 years ago
d71a59cc9f
s/jupyter_notebook/notebook
11 years ago
Will Starms
Alex Rothberg
Grant Nestor
Thomas Kluyver
Min RK
Ashish Dahiya
Jonathan Frederic
Matthias Bussonnier