002 [HTML]: Prettifications.
002 [HTML]: Many tweaks. Should be more or less finished now.