5 Commits (4a84a809a062b051f87d38d40f594facc5eba233)

Author	SHA1	Message	Date
MinRK	6d2774f0af	cleanup some `pre` css inheritance ... We had various overrides of the bootstrap defaults for font-size and line-height every time we made a pre tag, and then some overrides of our overrides when we wanted something slightly different. This moves the most basic overrides to apply to all pre tags, reducing the number of downstream changes we need.	12 years ago
Paul Ivanov	597a5cb741	don't color code in crimson ... do alliterate, aforementioned color alternative alias is amaranth	12 years ago
Brian E. Granger	f62ce75a62	Lots of CSS tweaks to get nbconvert output looking right.	12 years ago
Matthias BUSSONNIER	74683da8ad	use baseBorderRadius instead of corner_radius ... as it already exist in Bootstrap	13 years ago
MinRK	cf726d6a40	mv IPython.html.notebook -> IPython.html	13 years ago