--- a/encrypted-media/encrypted-media-respec.html	Fri Oct 10 14:38:18 2014 -0700
+++ b/encrypted-media/encrypted-media-respec.html	Fri Oct 10 14:39:26 2014 -0700
@@ -278,7 +278,7 @@
       It also represents a CDM instance.
     </p>
     <p class="issue"><a href="https://www.w3.org/Bugs/Public/show_bug.cgi?id=25923">Bug 25923</a> - Feature detection, including isTypeSupported(), and MediaKeys creation may change significantly.</p>
-    <pre class="idl">
+    <pre class="was-idl">
 enum <precodedfn>IsTypeSupportedResult</precodedfn> { "<precodedfn prefix="istypesupportedresultempty"></precodedfn>" /* empty string */, "<precodedfn prefix="istypesupportedresult">maybe</precodedfn>", "<precodedfn prefix="istypesupportedresult">probably</precodedfn>" };
 enum <precodedfn>SessionType</precodedfn> { "<precodedfn prefix="sessiontype">temporary</precodedfn>", "<precodedfn prefix="sessiontype">persistent</precodedfn>" };
 interface <precodedfn>MediaKeys</precodedfn> {
@@ -446,7 +446,7 @@
 
     <h2 id="mediakeysession">3. MediaKeySession Object</h2>
     <p>The MediaKeySession object represents a <a href="#key-session">key session</a>.</p>
-    <pre class="idl">
+    <pre class="was-idl">
 interface <precodedfn>MediaKeySession</precodedfn> : <dom4ref name="eventtarget">EventTarget</dom4ref> {
   // session properties
   readonly attribute DOMString <precoderef>sessionId</precoderef>;
@@ -745,7 +745,7 @@
     </ol>
 
     <h3 id="mediakeysession-event-definitions">3.3. Event Definitions</h3>
-    <pre class="idl">
+    <pre class="was-idl">
 enum <precodedfn>MediaKeyMessageType</precodedfn> { "<precodedfn>licenserequest</precodedfn>", "<precodedfn>licenserenewal</precodedfn>", "<precodedfn>licenserelease</precodedfn>" };
 
 [Constructor(DOMString type, optional <precoderef>MediaKeyMessageEventInit</precoderef> eventInitDict)]
@@ -938,7 +938,7 @@
 
     <h2 id="htmlmediaelement-extensions">4. HTMLMediaElement Extensions</h2>
     <p>This section specifies additions to and modifications of the <a href="http://www.w3.org/TR/html5/embedded-content-0.html#htmlmediaelement">HTMLMediaElement</a> when the Encrypted Media Extensions are supported.</p>
-    <pre class="idl">
+    <pre class="was-idl">
 enum <precodedfn>MediaWaitingFor</precodedfn> { "<precodedfn prefix="waitingfor">none</precodedfn>", "<precodedfn prefix="waitingfor">data</precodedfn>", "<precodedfn prefix="waitingfor">key</precodedfn>" };
 partial interface <precodedfn>HTMLMediaElement</precodedfn> {
   // Encrypted Media
@@ -1009,7 +1009,7 @@
     <p class="non-normative">Note: As a best practice, applications should create a MediaKeys object and call <methodref>setMediaKeys</methodref> before providing <videoanchor name="media-data">media data</videoanchor> (for example, setting the src attribute of the <a href="#media-element">media element</a>). This avoids potential delays in some implementations.</p>
 
     <h3 id="htmlmediaelement-event-definitions">4.3. Event Definitions</h3>
-    <pre class="idl">
+    <pre class="was-idl">
 [Constructor(DOMString type, optional <precoderef>MediaEncryptedEventInit</precoderef> eventInitDict)]
 interface <precodedfn>MediaEncryptedEvent</precodedfn> : <dom4ref name="event">Event</dom4ref> {
   readonly attribute DOMString <precoderef>initDataType</precoderef>;