Yes, that's totally fine. Thanks for the edits. re: nav-index. The nav-* properties are not well implemented (and I don't expect to see that change anytime soon), so I'm planning on dropping them in the next CR draft.
Tantek On Thu, Feb 7, 2013 at 11:35 PM, L. David Baron <[email protected]> wrote: > On Thursday 2013-02-07 23:27 -0800, L. David Baron wrote: > > While I was there, I noticed that 'nav-index' should perhaps be an > > <integer>-valued property rather than a <number>-valued one, but I > > made the animation type consistent with the current <number>. I'll > > follow up with email to www-style. > > Actually, it's already covered by: > http://lists.w3.org/Archives/Public/www-style/2012Oct/thread.html#msg468 > (among other unresolved threads on 'nav-index'). > > -David > > -- > 𝄞 L. David Baron http://dbaron.org/ 𝄂 > 𝄢 Mozilla http://www.mozilla.org/ 𝄂 >
