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
..
idf	Let the table of contents not take more than 33% of the available space;	2011-03-01 00:01:03 +01:00