Thomas Keller 29d966cdb3 Reformat slightly; hide the table of contents if there are less than two ...

jump marks.

2011-03-01 00:21:05 +01:00

..

css

Let the table of contents not take more than 33% of the available space;

2011-03-01 00:01:03 +01:00

img

Add a clear button to the tag / branch filter input fields; simplify

2011-01-26 01:37:29 +01:00

js

Reformat slightly; hide the table of contents if there are less than two

2011-03-01 00:21:05 +01:00