[geolocation-api] Pull Request: Add sections, markup fixes, nits

marcoscaceres has just submitted a new pull request for https://github.com/w3c/geolocation-api:

== Add sections, markup fixes, nits ==
In prep for new Rec, I've cleaned up the spec a little bit (all editorial/chore changes):

 * adds sections for interface attributes, methods, and dictionary members
 * adds an index with all the defined and dependent terms
 * cleaned up some of the markup, specially the 
 * removed some redundant things



See https://github.com/w3c/geolocation-api/pull/46

Received on Thursday, 25 June 2020 08:23:33 UTC