703 Commits

Author	SHA1	Message	Date
ansuz	6b157b0edc	fix the github ribbon	2016-07-04 17:08:54 +02:00
ansuz	82dfcb6bdd	apply some style fixes	2016-07-04 16:34:29 +02:00
ansuz	f4084353a6	less source files for generating css	2016-07-04 15:18:11 +02:00