W3C home > Mailing lists > Public > public-webplatform@w3.org > May 2013

Re: Table of contents added to pages, yay!

From: Lea Verou <lea@w3.org>
Date: Fri, 10 May 2013 03:29:28 +0300
Cc: "public-webplatform@w3.org" <public-webplatform@w3.org>
Message-Id: <7C9AC667-249D-4652-862F-2CD024726F44@w3.org>
To: Eliot Graff <Eliot.Graff@microsoft.com>
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#leahttp://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
> 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#leahttp://lea.verou.me ✿ @leaverou
>  
>  
>  
>  
> 


Received on Friday, 10 May 2013 00:29:42 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 19:13:48 UTC