monkeyking

Author	SHA1	Message	Date
Jonathan Frederic	028b79b385	Move kernel logo to right margin.	11 years ago
Min RK	9f9714e11f	remove kernel logo text placeholder	11 years ago
Min RK	da88bff678	add text placeholder for kernels with no logo capital first initial on gray field	11 years ago
Min RK	d5f6aaa1f6	remove kernel selector from header - add kernel name to indicator - float kernel logo where indicator used to be	11 years ago
Thomas Kluyver	7cc07251e4	Use double resolution logo to support hires displays	12 years ago
Min RK	0b46e2aff2	remove some custom css mainly in navbars, where we were doing custom things that bootstrap already did with classes. This did require the removal of multiple class LESS inheritance for navbar buttons, because it doesn't work properly. Seems like a LESS bug, but I'm not sure.	12 years ago
Matthias BUSSONNIER	849ff3bb05	Simplify and uniformise styling of kernel selector Make the theme coherent with the logout button	12 years ago
Thomas Kluyver	7400dd1c18	Line dropdown up on RHS of kernel name	12 years ago
Thomas Kluyver	6f8c4b8dc4	Style kernel name	12 years ago