3 Commits

Author	SHA1	Message	Date
Oskar Wickström	512e9ce8c0	Navigation and scroll fixes (#143) ... * Fix scrolling and some other minor goodies * Add document title and version at beginning * Fix rest of overflowing tables * Automatically wrap tables	2016-11-07 06:00:16 -05:00
Oskar Wickström	56f908deb5	Use a lighter and responsive styling (#140) ... * Use a lighter and responsive styling * Fix indentation	2016-11-06 16:57:07 -05:00
Stephen Diehl	d9b0154a99	liquidhaskell	2016-03-22 19:25:14 -04:00