Thomas Keller 41cfbbd0d9 Let the table of contents not take more than 33% of the available space; ... improve the CSS a bit by making the font a little smaller and by introducing a margin between every line. Partially closes issue 618.		2011-03-01 00:01:03 +01:00
..
blank.gif	Initial commit.	2008-07-25 10:26:05 +02:00
ie6.css	Initial commit.	2008-07-25 10:26:05 +02:00
iepngfix.htc	Initial commit.	2008-07-25 10:26:05 +02:00
prettify.css	Fixed ticket 349, updated the prettify lib to the latest version.	2010-02-04 11:21:30 +01:00
style.css	Let the table of contents not take more than 33% of the available space;	2011-03-01 00:01:03 +01:00
yui.css	Initial commit.	2008-07-25 10:26:05 +02:00