Unindent WebIDL to match HTML

https://html5.org/r/8808