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.

Matthias Bussonnier b7bdfa715c Merge pull request #7444 from minrk/toggle-header-bar ... hide header-bar when header is hidden		11 years ago
..
images	Enlarge Jupyter logo to 28px height	11 years ago
js	Make modal backdrop static by default.	11 years ago
less	Merge pull request #7444 from minrk/toggle-header-bar	11 years ago