You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Min RK b84ad79b2f don't use fixed header ... instead, use static header and flex box to accomplish the same thing. fixes various issues related to scrolling, anchors, etc.		12 years ago
..
auth	remove empty style methods of LoginWidget	12 years ago
base	don't use fixed header	12 years ago
custom	Update custom.js for 3.0	12 years ago
edit	Merge pull request #7263 from takluyver/nb-common-config	12 years ago
notebook	Merge pull request #7271 from jdfreder/remove-term-page	12 years ago
services	use single WebSocket connection for all channels	12 years ago
style	don't use fixed header	12 years ago
terminal	Merge pull request #7263 from takluyver/nb-common-config	12 years ago
tree	Merge pull request #7271 from jdfreder/remove-term-page	12 years ago
widgets	encode URI components in selection widget queries	12 years ago