Changes for displaying easily at w3c.github.io