Table of contents added to pages, yay!

Hi all,

I recently came up with the idea of having a client-side generated Table Of Contents (TOC). In coordination with Doug, I wrote a script to generate it and deployed it to WPD. This has the benefit of being smaller (1.5KB) than a server-side TOC and cachable and most importantly, it solved the issues we had with the headings. Hope you like it.

We had to remove the width: 100%; from tables to avoid them being pushed down by the TOC, so please keep an eye out for table rendering issues.

Here you can see an example: http://docs.webplatform.org/wiki/css/properties/border-radius

This was a long outstanding bug, so it’s exciting to finally have solved it!

Cheers,
Lea

Lea Verou
W3C developer relations
http://w3.org/people/all#lea ✿ http://lea.verou.me ✿ @leaverou