5 Commits

Author	SHA1	Message	Date
Lars Jung	a5687fe03b	Adjust font sizes.	2014-12-09 01:40:55 +01:00
Lars Jung	9b5f6f3cad	Tabs to spaces.	2014-08-15 22:07:53 +02:00
Lars Jung	49276c157c	More style changes.	2013-07-06 20:37:08 +02:00
Lars Jung	84be82d175	Small fixes and semantics.	2012-10-28 16:43:19 +01:00
Lars Jung	c71f891af2	Cosmetics.	2012-10-05 19:55:48 +02:00