Re: [w3c/push-api] chore: use new school WebIDL (#231)

@beverloo, this is 95% done, but I might need you to do the last bits. In particular, you need to split dictionary and interfaces into their own sections (and then just follow what I did). The reason is that there are things that are defined in both interfaces and dictionaries (e.g., "applicationserverkey"). You can explicitly differentiate and reference between the two by either:

```HTML
The <a>WhateverDictionary.applicationserverkey</a> does x. 
```

Or:

```HTML
The <a data-lt="WhateverDictionary.applicationserverkey">applicationserverkey</a> does x. 
```

See also how I've added `<section data-dfn-for="Thing">` and how `<dfn>`s are defined. It should be quite straight forward. 

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/w3c/push-api/pull/231#issuecomment-265552037