Mark Otto 1f33dc8033 even shorter banner; remove space between slash and period		2013-10-17 14:11:40 -07:00
..
docs.css	even shorter banner; remove space between slash and period	2013-10-17 14:11:40 -07:00
pygments-manni.css	move /assets/ to /docs-assets/ ; fixes #10715	2013-09-23 13:02:26 -07:00