Use script type=text/plain instead of pre for WebIDL blocks.