Fixed block code formatting in the TPL user guide.
Fixed the first-letter effect for the menu items.
Fixed up the projects page, now using a definition list for the projects.
Removed the optimizeLegiblity option so that the CSS remains valid.
Made the [show] and [hide] buttons look better and share a CSS class.
Fixed how the sample maze is displayed.
Started working on a simple introduction to algebraic data types.
Added sections about recursive types and polymorphism to my adt article.
Added a section about pattern matching and some examples of types that are both polymorphic *and* recursive.
Added a bunch of content about phantom types, working my way up to GADTs.
Edited my ADT article a bit.
Fixed the slides in FireFox.