Messing around for pubrules checker
authorGraham Klyne
Thu, 01 Dec 2011 17:27:46 +0000
changeset 1136 c591dfa9caca
parent 1135 799ece2dfbe2
child 1137 170c25e64962
Messing around for pubrules checker
paq/WD-PROV-AQ-20111201.html
--- a/paq/WD-PROV-AQ-20111201.html	Thu Dec 01 17:23:28 2011 +0000
+++ b/paq/WD-PROV-AQ-20111201.html	Thu Dec 01 17:27:46 2011 +0000
@@ -70,18 +70,6 @@
     line-height:    120%;
 }
 
-pre.idl:before {
-    content:    "WebIDL";
-    display:    block;
-    width:      150px;
-    background: #90b8de;
-    color:  #fff;
-    font-family:    initial;
-    padding:    3px;
-    font-weight:    bold;
-    margin: -1em 0 1em -1em;
-}
-
 .idlType {
     color:  #ff4500;
     font-weight:    bold;