Brad King 707afd1ed0 Documentation: Improve HTML section index format
Add a newline after section index list items.  This makes the generated
HTML source more readable.
2012-05-07 08:51:57 -04:00
..
2010-03-01 00:01:06 -05:00
2009-12-08 09:38:36 -05:00
2006-03-10 13:54:57 -05:00