2 Commits

Author	SHA1	Message	Date
Phuntsok Drak-pa	d5e50691b3	small CSS fix for `pre' blocks	2019-09-06 16:50:21 +02:00
Phuntsok Drak-pa	7e12d3d892	new style overhaul, better navigation options	2019-09-03 15:06:53 +02:00