search

benschwarz / developers.whatwg.org

Used to create the contents of developers.whatwg.org
http://developers.whatwg.org/
198 stars 39 forks source link

Make table of contents more useful #59

Closed silviapfeiffer closed 7 years ago

silviapfeiffer commented 13 years ago

When I'm trying to find a section on the developers site about, e.g. a particular element in HTML such as

benschwarz commented 13 years ago

Did you try using the search?

silviapfeiffer commented 13 years ago

Search works and is ultimately how I found it (I meant to say "the video element"). But it gets met into the details rather than the headings. An expanded table of contents would have solved my problem more easily. I do it all the time on the full spec: I go to the table of comments and search for the tag that I am interested in with just browser search.

domenic commented 7 years ago

We've recently revamped the developer's edition. It's at a new URL, https://html.spec.whatwg.org/dev/. (We are working to set up a redirect.) And it's built directly from the whatwg/html repository.

As such, let me move this issue to https://github.com/whatwg/html/issues/2793, where we can work on it directly. Thanks for your feedback; we were going to do some work on our build tools to remove the nodes from the DOM entirely, but then I found this issue!