RE: Table of contents added to pages, yay!

Probably don’t need a TOC for that type of page (my guess is there will be more than one of these and they should be short enough not to warrant it).

Sleep well!

From: Lea Verou [mailto:lea@w3.org]
Sent: Thursday, May 9, 2013 5:29 PM
To: Eliot Graff
Cc: public-webplatform@w3.org
Subject: Re: Table of contents added to pages, yay!

Oh damn, that’s pretty serious. :( Thanks for spotting! Will get to it first thing tomorrow (it's currently 3:30am here).
Do we even need a TOC on that page?

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






On May 10, 2013, at 03:23, Eliot Graff wrote:


Looks wonderful, Lea.

I think the main page has an issue with the TOC pushing the layout down.http://docs.webplatform.org/wiki/Main_Page


Thank you so much for taking this on!!!!!!!

Eliot

From: Lea Verou [mailto:lea@w3.org]
Sent: Thursday, May 9, 2013 5:02 PM
To: public-webplatform@w3.org<mailto:public-webplatform@w3.org>
Subject: 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