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
..
media/idf	Let the table of contents not take more than 33% of the available space;	2011-03-01 00:01:03 +01:00
index.php	Fixed issue 261, default paths for gitcron.php and gitserve.php can't find Pluf.	2009-10-09 10:16:00 +02:00