Sebastian Grewe eb41138f36 Wider sidebar, smaller font ... Fixes #274		2013-06-29 14:51:21 +02:00
..
css	Wider sidebar, smaller font	2013-06-29 14:51:21 +02:00
images
js	re-introduce graph width detection	2013-06-28 20:39:26 +02:00