mike: add "is obsolete" admonitions for iframe/@allowtransparency and embed/@hspace|@vspace

mike: add "is obsolete" admonitions for iframe/@allowtransparency and
embed/@hspace|@vspace

http://dev.w3.org/cvsweb/html5/markup/spec.html?r1=1.212&r2=1.213&f=h

===================================================================
RCS file: /sources/public/html5/markup/Overview.html,v
retrieving revision 1.413
retrieving revision 1.414
diff -u -d -r1.413 -r1.414
--- Overview.html 2 Apr 2010 20:44:23 -0000 1.413
+++ Overview.html 9 Apr 2010 21:13:05 -0000 1.414
@@ -10,7 +10,7 @@
 <div class="head">
 <div><a href="http://www.w3.org/"><img height="48" width="72" alt="W3C" src="http://www.w3.org/Icons/w3c_home"></a></div>
 <h1>HTML: The Markup Language</h1>
-<h2>W3C Editor&#8217;s Draft <em>3 April 2010</em>
+<h2>W3C Editor&#8217;s Draft <em>10 April 2010</em>
 </h2>
 <dl>
 <dt>Latest Editor&#8217;s Draft:</dt>
@@ -51,7 +51,7 @@
           reports index</a> at http://www.w3.org/TR/.
       </em></p>
     <p>
-        This document is the 3 April 2010 Editor&#8217;s Draft of 
+        This document is the 10 April 2010 Editor&#8217;s Draft of 
         <cite>HTML: The Markup Language</cite>.
       
       If you&#8217;d like to comment on this document, the preferred

Index: input.email.html
===================================================================
RCS file: /sources/public/html5/markup/input.email.html,v
retrieving revision 1.48
retrieving revision 1.49
diff -u -d -r1.48 -r1.49
--- input.email.html 29 Mar 2010 15:07:58 -0000 1.48
+++ input.email.html 9 Apr 2010 21:13:08 -0000 1.49
@@ -167,7 +167,7 @@
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-defaultvalue" title="dom-input-defaultValue">defaultValue</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-value" title="dom-input-value">value</a>;
            attribute  <a href="http://dev.w3.org/html5/spec/#dom-input-valueasdate" title="dom-input-valueAsDate">valueAsDate</a>;
-           attribute float <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
+           attribute double <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
   readonly attribute <a href="http://dev.w3.org/html5/spec/#htmloptionelement" title="">HTMLOptionElement</a> <a href="http://dev.w3.org/html5/spec/#dom-input-selectedoption" title="dom-input-selectedOption">selectedOption</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-dim-width" title="dom-dim-width">width</a>;
 

Index: input.month.html
===================================================================
RCS file: /sources/public/html5/markup/input.month.html,v
retrieving revision 1.49
retrieving revision 1.50
diff -u -d -r1.49 -r1.50
--- input.month.html 29 Mar 2010 15:07:58 -0000 1.49
+++ input.month.html 9 Apr 2010 21:13:08 -0000 1.50
@@ -174,7 +174,7 @@
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-defaultvalue" title="dom-input-defaultValue">defaultValue</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-value" title="dom-input-value">value</a>;
            attribute  <a href="http://dev.w3.org/html5/spec/#dom-input-valueasdate" title="dom-input-valueAsDate">valueAsDate</a>;
-           attribute float <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
+           attribute double <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
   readonly attribute <a href="http://dev.w3.org/html5/spec/#htmloptionelement" title="">HTMLOptionElement</a> <a href="http://dev.w3.org/html5/spec/#dom-input-selectedoption" title="dom-input-selectedOption">selectedOption</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-dim-width" title="dom-dim-width">width</a>;
 

Index: iframe.html
===================================================================
RCS file: /sources/public/html5/markup/iframe.html,v
retrieving revision 1.59
retrieving revision 1.60
diff -u -d -r1.59 -r1.60
--- iframe.html 30 Mar 2010 09:45:20 -0000 1.59
+++ iframe.html 9 Apr 2010 21:13:07 -0000 1.60
@@ -120,6 +120,10 @@
     <a href="http://wiki.whatwg.org/wiki/Presentational_elements_and_attributes">Use CSS instead</a>.
    </span></li>
           <li><span>
+    The <span class="attribute">allowtransparency</span> attribute on the <span class="element">iframe</span> element is obsolete.
+    <a href="http://wiki.whatwg.org/wiki/Presentational_elements_and_attributes">Use CSS instead</a>.
+   </span></li>
+<li><span>
     The <span class="attribute">frameborder</span> attribute on the <span class="element">iframe</span> element is obsolete.
     <a href="http://wiki.whatwg.org/wiki/Presentational_elements_and_attributes">Use CSS instead</a>.
    </span></li>

Index: input.range.html
===================================================================
RCS file: /sources/public/html5/markup/input.range.html,v
retrieving revision 1.49
retrieving revision 1.50
diff -u -d -r1.49 -r1.50
--- input.range.html 29 Mar 2010 15:07:58 -0000 1.49
+++ input.range.html 9 Apr 2010 21:13:08 -0000 1.50
@@ -172,7 +172,7 @@
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-defaultvalue" title="dom-input-defaultValue">defaultValue</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-value" title="dom-input-value">value</a>;
            attribute  <a href="http://dev.w3.org/html5/spec/#dom-input-valueasdate" title="dom-input-valueAsDate">valueAsDate</a>;
-           attribute float <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
+           attribute double <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
   readonly attribute <a href="http://dev.w3.org/html5/spec/#htmloptionelement" title="">HTMLOptionElement</a> <a href="http://dev.w3.org/html5/spec/#dom-input-selectedoption" title="dom-input-selectedOption">selectedOption</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-dim-width" title="dom-dim-width">width</a>;
 

Index: input.button.html
===================================================================
RCS file: /sources/public/html5/markup/input.button.html,v
retrieving revision 1.45
retrieving revision 1.46
diff -u -d -r1.45 -r1.46
--- input.button.html 29 Mar 2010 15:07:58 -0000 1.45
+++ input.button.html 9 Apr 2010 21:13:07 -0000 1.46
@@ -147,7 +147,7 @@
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-defaultvalue" title="dom-input-defaultValue">defaultValue</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-value" title="dom-input-value">value</a>;
            attribute  <a href="http://dev.w3.org/html5/spec/#dom-input-valueasdate" title="dom-input-valueAsDate">valueAsDate</a>;
-           attribute float <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
+           attribute double <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
   readonly attribute <a href="http://dev.w3.org/html5/spec/#htmloptionelement" title="">HTMLOptionElement</a> <a href="http://dev.w3.org/html5/spec/#dom-input-selectedoption" title="dom-input-selectedOption">selectedOption</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-dim-width" title="dom-dim-width">width</a>;
 

Index: input.text.html
===================================================================
RCS file: /sources/public/html5/markup/input.text.html,v
retrieving revision 1.46
retrieving revision 1.47
diff -u -d -r1.46 -r1.47
--- input.text.html 29 Mar 2010 15:07:58 -0000 1.46
+++ input.text.html 9 Apr 2010 21:13:08 -0000 1.47
@@ -155,7 +155,7 @@
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-defaultvalue" title="dom-input-defaultValue">defaultValue</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-value" title="dom-input-value">value</a>;
            attribute  <a href="http://dev.w3.org/html5/spec/#dom-input-valueasdate" title="dom-input-valueAsDate">valueAsDate</a>;
-           attribute float <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
+           attribute double <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
   readonly attribute <a href="http://dev.w3.org/html5/spec/#htmloptionelement" title="">HTMLOptionElement</a> <a href="http://dev.w3.org/html5/spec/#dom-input-selectedoption" title="dom-input-selectedOption">selectedOption</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-dim-width" title="dom-dim-width">width</a>;
 

Index: input.checkbox.html
===================================================================
RCS file: /sources/public/html5/markup/input.checkbox.html,v
retrieving revision 1.45
retrieving revision 1.46
diff -u -d -r1.45 -r1.46
--- input.checkbox.html 29 Mar 2010 15:07:58 -0000 1.45
+++ input.checkbox.html 9 Apr 2010 21:13:07 -0000 1.46
@@ -149,7 +149,7 @@
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-defaultvalue" title="dom-input-defaultValue">defaultValue</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-value" title="dom-input-value">value</a>;
            attribute  <a href="http://dev.w3.org/html5/spec/#dom-input-valueasdate" title="dom-input-valueAsDate">valueAsDate</a>;
-           attribute float <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
+           attribute double <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
   readonly attribute <a href="http://dev.w3.org/html5/spec/#htmloptionelement" title="">HTMLOptionElement</a> <a href="http://dev.w3.org/html5/spec/#dom-input-selectedoption" title="dom-input-selectedOption">selectedOption</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-dim-width" title="dom-dim-width">width</a>;
 

Index: input.tel.html
===================================================================
RCS file: /sources/public/html5/markup/input.tel.html,v
retrieving revision 1.46
retrieving revision 1.47
diff -u -d -r1.46 -r1.47
--- input.tel.html 29 Mar 2010 15:07:58 -0000 1.46
+++ input.tel.html 9 Apr 2010 21:13:08 -0000 1.47
@@ -156,7 +156,7 @@
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-defaultvalue" title="dom-input-defaultValue">defaultValue</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-value" title="dom-input-value">value</a>;
            attribute  <a href="http://dev.w3.org/html5/spec/#dom-input-valueasdate" title="dom-input-valueAsDate">valueAsDate</a>;
-           attribute float <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
+           attribute double <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
   readonly attribute <a href="http://dev.w3.org/html5/spec/#htmloptionelement" title="">HTMLOptionElement</a> <a href="http://dev.w3.org/html5/spec/#dom-input-selectedoption" title="dom-input-selectedOption">selectedOption</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-dim-width" title="dom-dim-width">width</a>;
 

Index: input.number.html
===================================================================
RCS file: /sources/public/html5/markup/input.number.html,v
retrieving revision 1.49
retrieving revision 1.50
diff -u -d -r1.49 -r1.50
--- input.number.html 29 Mar 2010 15:07:58 -0000 1.49
+++ input.number.html 9 Apr 2010 21:13:08 -0000 1.50
@@ -174,7 +174,7 @@
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-defaultvalue" title="dom-input-defaultValue">defaultValue</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-value" title="dom-input-value">value</a>;
            attribute  <a href="http://dev.w3.org/html5/spec/#dom-input-valueasdate" title="dom-input-valueAsDate">valueAsDate</a>;
-           attribute float <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
+           attribute double <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
   readonly attribute <a href="http://dev.w3.org/html5/spec/#htmloptionelement" title="">HTMLOptionElement</a> <a href="http://dev.w3.org/html5/spec/#dom-input-selectedoption" title="dom-input-selectedOption">selectedOption</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-dim-width" title="dom-dim-width">width</a>;
 

Index: input.datetime.html
===================================================================
RCS file: /sources/public/html5/markup/input.datetime.html,v
retrieving revision 1.49
retrieving revision 1.50
diff -u -d -r1.49 -r1.50
--- input.datetime.html 29 Mar 2010 15:07:58 -0000 1.49
+++ input.datetime.html 9 Apr 2010 21:13:07 -0000 1.50
@@ -175,7 +175,7 @@
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-defaultvalue" title="dom-input-defaultValue">defaultValue</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-value" title="dom-input-value">value</a>;
            attribute  <a href="http://dev.w3.org/html5/spec/#dom-input-valueasdate" title="dom-input-valueAsDate">valueAsDate</a>;
-           attribute float <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
+           attribute double <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
   readonly attribute <a href="http://dev.w3.org/html5/spec/#htmloptionelement" title="">HTMLOptionElement</a> <a href="http://dev.w3.org/html5/spec/#dom-input-selectedoption" title="dom-input-selectedOption">selectedOption</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-dim-width" title="dom-dim-width">width</a>;
 

Index: input.password.html
===================================================================
RCS file: /sources/public/html5/markup/input.password.html,v
retrieving revision 1.46
retrieving revision 1.47
diff -u -d -r1.46 -r1.47
--- input.password.html 29 Mar 2010 15:07:58 -0000 1.46
+++ input.password.html 9 Apr 2010 21:13:08 -0000 1.47
@@ -155,7 +155,7 @@
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-defaultvalue" title="dom-input-defaultValue">defaultValue</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-value" title="dom-input-value">value</a>;
            attribute  <a href="http://dev.w3.org/html5/spec/#dom-input-valueasdate" title="dom-input-valueAsDate">valueAsDate</a>;
-           attribute float <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
+           attribute double <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
   readonly attribute <a href="http://dev.w3.org/html5/spec/#htmloptionelement" title="">HTMLOptionElement</a> <a href="http://dev.w3.org/html5/spec/#dom-input-selectedoption" title="dom-input-selectedOption">selectedOption</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-dim-width" title="dom-dim-width">width</a>;
 

Index: embed.html
===================================================================
RCS file: /sources/public/html5/markup/embed.html,v
retrieving revision 1.48
retrieving revision 1.49
diff -u -d -r1.48 -r1.49
--- embed.html 30 Mar 2010 09:45:20 -0000 1.48
+++ embed.html 9 Apr 2010 21:13:07 -0000 1.49
@@ -94,6 +94,14 @@
     The <span class="attribute">align</span> attribute on the <span class="element">embed</span> element is obsolete.
     <a href="http://wiki.whatwg.org/wiki/Presentational_elements_and_attributes">Use CSS instead</a>.
    </span></li>
+          <li><span>
+    The <span class="attribute">hspace</span> attribute on the <span class="element">embed</span> element is obsolete.
+    <a href="http://wiki.whatwg.org/wiki/Presentational_elements_and_attributes">Use CSS instead</a>.
+   </span></li>
+<li><span>
+    The <span class="attribute">vspace</span> attribute on the <span class="element">embed</span> element is obsolete.
+    <a href="http://wiki.whatwg.org/wiki/Presentational_elements_and_attributes">Use CSS instead</a>.
+   </span></li>
         </ul>
 </div>
       <div class="no-number no-toc tag-omission" id="embed-tags">

Index: input.time.html
===================================================================
RCS file: /sources/public/html5/markup/input.time.html,v
retrieving revision 1.49
retrieving revision 1.50
diff -u -d -r1.49 -r1.50
--- input.time.html 29 Mar 2010 15:07:59 -0000 1.49
+++ input.time.html 9 Apr 2010 21:13:08 -0000 1.50
@@ -175,7 +175,7 @@
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-defaultvalue" title="dom-input-defaultValue">defaultValue</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-value" title="dom-input-value">value</a>;
            attribute  <a href="http://dev.w3.org/html5/spec/#dom-input-valueasdate" title="dom-input-valueAsDate">valueAsDate</a>;
-           attribute float <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
+           attribute double <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
   readonly attribute <a href="http://dev.w3.org/html5/spec/#htmloptionelement" title="">HTMLOptionElement</a> <a href="http://dev.w3.org/html5/spec/#dom-input-selectedoption" title="dom-input-selectedOption">selectedOption</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-dim-width" title="dom-dim-width">width</a>;
 

Index: input.image.html
===================================================================
RCS file: /sources/public/html5/markup/input.image.html,v
retrieving revision 1.49
retrieving revision 1.50
diff -u -d -r1.49 -r1.50
--- input.image.html 30 Mar 2010 09:45:20 -0000 1.49
+++ input.image.html 9 Apr 2010 21:13:08 -0000 1.50
@@ -183,7 +183,7 @@
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-defaultvalue" title="dom-input-defaultValue">defaultValue</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-value" title="dom-input-value">value</a>;
            attribute  <a href="http://dev.w3.org/html5/spec/#dom-input-valueasdate" title="dom-input-valueAsDate">valueAsDate</a>;
-           attribute float <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
+           attribute double <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
   readonly attribute <a href="http://dev.w3.org/html5/spec/#htmloptionelement" title="">HTMLOptionElement</a> <a href="http://dev.w3.org/html5/spec/#dom-input-selectedoption" title="dom-input-selectedOption">selectedOption</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-dim-width" title="dom-dim-width">width</a>;
 

Index: input.file.html
===================================================================
RCS file: /sources/public/html5/markup/input.file.html,v
retrieving revision 1.45
retrieving revision 1.46
diff -u -d -r1.45 -r1.46
--- input.file.html 29 Mar 2010 15:07:58 -0000 1.45
+++ input.file.html 9 Apr 2010 21:13:08 -0000 1.46
@@ -154,7 +154,7 @@
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-defaultvalue" title="dom-input-defaultValue">defaultValue</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-value" title="dom-input-value">value</a>;
            attribute  <a href="http://dev.w3.org/html5/spec/#dom-input-valueasdate" title="dom-input-valueAsDate">valueAsDate</a>;
-           attribute float <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
+           attribute double <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
   readonly attribute <a href="http://dev.w3.org/html5/spec/#htmloptionelement" title="">HTMLOptionElement</a> <a href="http://dev.w3.org/html5/spec/#dom-input-selectedoption" title="dom-input-selectedOption">selectedOption</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-dim-width" title="dom-dim-width">width</a>;
 

Index: input.radio.html
===================================================================
RCS file: /sources/public/html5/markup/input.radio.html,v
retrieving revision 1.46
retrieving revision 1.47
diff -u -d -r1.46 -r1.47
--- input.radio.html 29 Mar 2010 15:07:58 -0000 1.46
+++ input.radio.html 9 Apr 2010 21:13:08 -0000 1.47
@@ -150,7 +150,7 @@
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-defaultvalue" title="dom-input-defaultValue">defaultValue</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-value" title="dom-input-value">value</a>;
            attribute  <a href="http://dev.w3.org/html5/spec/#dom-input-valueasdate" title="dom-input-valueAsDate">valueAsDate</a>;
-           attribute float <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
+           attribute double <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
   readonly attribute <a href="http://dev.w3.org/html5/spec/#htmloptionelement" title="">HTMLOptionElement</a> <a href="http://dev.w3.org/html5/spec/#dom-input-selectedoption" title="dom-input-selectedOption">selectedOption</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-dim-width" title="dom-dim-width">width</a>;
 

Index: input.reset.html
===================================================================
RCS file: /sources/public/html5/markup/input.reset.html,v
retrieving revision 1.46
retrieving revision 1.47
diff -u -d -r1.46 -r1.47
--- input.reset.html 29 Mar 2010 15:07:58 -0000 1.46
+++ input.reset.html 9 Apr 2010 21:13:08 -0000 1.47
@@ -147,7 +147,7 @@
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-defaultvalue" title="dom-input-defaultValue">defaultValue</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-value" title="dom-input-value">value</a>;
            attribute  <a href="http://dev.w3.org/html5/spec/#dom-input-valueasdate" title="dom-input-valueAsDate">valueAsDate</a>;
-           attribute float <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
+           attribute double <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
   readonly attribute <a href="http://dev.w3.org/html5/spec/#htmloptionelement" title="">HTMLOptionElement</a> <a href="http://dev.w3.org/html5/spec/#dom-input-selectedoption" title="dom-input-selectedOption">selectedOption</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-dim-width" title="dom-dim-width">width</a>;
 

Index: input.datetime-local.html
===================================================================
RCS file: /sources/public/html5/markup/input.datetime-local.html,v
retrieving revision 1.49
retrieving revision 1.50
diff -u -d -r1.49 -r1.50
--- input.datetime-local.html 29 Mar 2010 15:07:58 -0000 1.49
+++ input.datetime-local.html 9 Apr 2010 21:13:07 -0000 1.50
@@ -175,7 +175,7 @@
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-defaultvalue" title="dom-input-defaultValue">defaultValue</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-value" title="dom-input-value">value</a>;
            attribute  <a href="http://dev.w3.org/html5/spec/#dom-input-valueasdate" title="dom-input-valueAsDate">valueAsDate</a>;
-           attribute float <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
+           attribute double <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
   readonly attribute <a href="http://dev.w3.org/html5/spec/#htmloptionelement" title="">HTMLOptionElement</a> <a href="http://dev.w3.org/html5/spec/#dom-input-selectedoption" title="dom-input-selectedOption">selectedOption</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-dim-width" title="dom-dim-width">width</a>;
 

Index: input.color.html
===================================================================
RCS file: /sources/public/html5/markup/input.color.html,v
retrieving revision 1.47
retrieving revision 1.48
diff -u -d -r1.47 -r1.48
--- input.color.html 29 Mar 2010 15:07:58 -0000 1.47
+++ input.color.html 9 Apr 2010 21:13:07 -0000 1.48
@@ -153,7 +153,7 @@
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-defaultvalue" title="dom-input-defaultValue">defaultValue</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-value" title="dom-input-value">value</a>;
            attribute  <a href="http://dev.w3.org/html5/spec/#dom-input-valueasdate" title="dom-input-valueAsDate">valueAsDate</a>;
-           attribute float <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
+           attribute double <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
   readonly attribute <a href="http://dev.w3.org/html5/spec/#htmloptionelement" title="">HTMLOptionElement</a> <a href="http://dev.w3.org/html5/spec/#dom-input-selectedoption" title="dom-input-selectedOption">selectedOption</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-dim-width" title="dom-dim-width">width</a>;
 

Index: input.hidden.html
===================================================================
RCS file: /sources/public/html5/markup/input.hidden.html,v
retrieving revision 1.46
retrieving revision 1.47
diff -u -d -r1.46 -r1.47
--- input.hidden.html 29 Mar 2010 15:07:58 -0000 1.46
+++ input.hidden.html 9 Apr 2010 21:13:08 -0000 1.47
@@ -148,7 +148,7 @@
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-defaultvalue" title="dom-input-defaultValue">defaultValue</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-value" title="dom-input-value">value</a>;
            attribute  <a href="http://dev.w3.org/html5/spec/#dom-input-valueasdate" title="dom-input-valueAsDate">valueAsDate</a>;
-           attribute float <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
+           attribute double <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
   readonly attribute <a href="http://dev.w3.org/html5/spec/#htmloptionelement" title="">HTMLOptionElement</a> <a href="http://dev.w3.org/html5/spec/#dom-input-selectedoption" title="dom-input-selectedOption">selectedOption</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-dim-width" title="dom-dim-width">width</a>;
 

Index: input.search.html
===================================================================
RCS file: /sources/public/html5/markup/input.search.html,v
retrieving revision 1.49
retrieving revision 1.50
diff -u -d -r1.49 -r1.50
--- input.search.html 29 Mar 2010 15:07:58 -0000 1.49
+++ input.search.html 9 Apr 2010 21:13:08 -0000 1.50
@@ -157,7 +157,7 @@
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-defaultvalue" title="dom-input-defaultValue">defaultValue</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-value" title="dom-input-value">value</a>;
            attribute  <a href="http://dev.w3.org/html5/spec/#dom-input-valueasdate" title="dom-input-valueAsDate">valueAsDate</a>;
-           attribute float <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
+           attribute double <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
   readonly attribute <a href="http://dev.w3.org/html5/spec/#htmloptionelement" title="">HTMLOptionElement</a> <a href="http://dev.w3.org/html5/spec/#dom-input-selectedoption" title="dom-input-selectedOption">selectedOption</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-dim-width" title="dom-dim-width">width</a>;
 

Index: spec.html
===================================================================
RCS file: /sources/public/html5/markup/spec.html,v
retrieving revision 1.212
retrieving revision 1.213
diff -u -d -r1.212 -r1.213
--- spec.html 2 Apr 2010 20:44:23 -0000 1.212
+++ spec.html 9 Apr 2010 21:13:08 -0000 1.213
@@ -10,7 +10,7 @@
 <div class="head">
 <div><a href="http://www.w3.org/"><img height="48" width="72" alt="W3C" src="http://www.w3.org/Icons/w3c_home"></a></div>
 <h1>HTML: The Markup Language</h1>
-<h2>W3C Editor&#8217;s Draft <em>3 April 2010</em>
+<h2>W3C Editor&#8217;s Draft <em>10 April 2010</em>
 </h2>
 <dl>
 <dt>Latest Editor&#8217;s Draft:</dt>
@@ -50,7 +50,7 @@
           reports index</a> at http://www.w3.org/TR/.
       </em></p>
     <p>
-        This document is the 3 April 2010 Editor&#8217;s Draft of 
+        This document is the 10 April 2010 Editor&#8217;s Draft of 
         <cite>HTML: The Markup Language</cite>.
       
       If you&#8217;d like to comment on this document, the preferred
@@ -6062,6 +6062,14 @@
     The <span class="attribute">align</span> attribute on the <span class="element">embed</span> element is obsolete.
     <a href="http://wiki.whatwg.org/wiki/Presentational_elements_and_attributes">Use CSS instead</a>.
    </span></li>
+          <li><span>
+    The <span class="attribute">hspace</span> attribute on the <span class="element">embed</span> element is obsolete.
+    <a href="http://wiki.whatwg.org/wiki/Presentational_elements_and_attributes">Use CSS instead</a>.
+   </span></li>
+<li><span>
+    The <span class="attribute">vspace</span> attribute on the <span class="element">embed</span> element is obsolete.
+    <a href="http://wiki.whatwg.org/wiki/Presentational_elements_and_attributes">Use CSS instead</a>.
+   </span></li>
         </ul>
 </div>
       <div class="no-number no-toc tag-omission" id="embed-tags">
@@ -7731,6 +7739,10 @@
     <a href="http://wiki.whatwg.org/wiki/Presentational_elements_and_attributes">Use CSS instead</a>.
    </span></li>
           <li><span>
+    The <span class="attribute">allowtransparency</span> attribute on the <span class="element">iframe</span> element is obsolete.
+    <a href="http://wiki.whatwg.org/wiki/Presentational_elements_and_attributes">Use CSS instead</a>.
+   </span></li>
+<li><span>
     The <span class="attribute">frameborder</span> attribute on the <span class="element">iframe</span> element is obsolete.
     <a href="http://wiki.whatwg.org/wiki/Presentational_elements_and_attributes">Use CSS instead</a>.
    </span></li>
@@ -8146,7 +8158,7 @@
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-defaultvalue" title="dom-input-defaultValue">defaultValue</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-value" title="dom-input-value">value</a>;
            attribute  <a href="http://dev.w3.org/html5/spec/#dom-input-valueasdate" title="dom-input-valueAsDate">valueAsDate</a>;
-           attribute float <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
+           attribute double <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
   readonly attribute <a href="http://dev.w3.org/html5/spec/#htmloptionelement" title="">HTMLOptionElement</a> <a href="http://dev.w3.org/html5/spec/#dom-input-selectedoption" title="dom-input-selectedOption">selectedOption</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-dim-width" title="dom-dim-width">width</a>;
 
@@ -8311,7 +8323,7 @@
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-defaultvalue" title="dom-input-defaultValue">defaultValue</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-value" title="dom-input-value">value</a>;
            attribute  <a href="http://dev.w3.org/html5/spec/#dom-input-valueasdate" title="dom-input-valueAsDate">valueAsDate</a>;
-           attribute float <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
+           attribute double <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
   readonly attribute <a href="http://dev.w3.org/html5/spec/#htmloptionelement" title="">HTMLOptionElement</a> <a href="http://dev.w3.org/html5/spec/#dom-input-selectedoption" title="dom-input-selectedOption">selectedOption</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-dim-width" title="dom-dim-width">width</a>;
 
@@ -8470,7 +8482,7 @@
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-defaultvalue" title="dom-input-defaultValue">defaultValue</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-value" title="dom-input-value">value</a>;
            attribute  <a href="http://dev.w3.org/html5/spec/#dom-input-valueasdate" title="dom-input-valueAsDate">valueAsDate</a>;
-           attribute float <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
+           attribute double <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
   readonly attribute <a href="http://dev.w3.org/html5/spec/#htmloptionelement" title="">HTMLOptionElement</a> <a href="http://dev.w3.org/html5/spec/#dom-input-selectedoption" title="dom-input-selectedOption">selectedOption</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-dim-width" title="dom-dim-width">width</a>;
 
@@ -8630,7 +8642,7 @@
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-defaultvalue" title="dom-input-defaultValue">defaultValue</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-value" title="dom-input-value">value</a>;
            attribute  <a href="http://dev.w3.org/html5/spec/#dom-input-valueasdate" title="dom-input-valueAsDate">valueAsDate</a>;
-           attribute float <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
+           attribute double <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
   readonly attribute <a href="http://dev.w3.org/html5/spec/#htmloptionelement" title="">HTMLOptionElement</a> <a href="http://dev.w3.org/html5/spec/#dom-input-selectedoption" title="dom-input-selectedOption">selectedOption</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-dim-width" title="dom-dim-width">width</a>;
 
@@ -8787,7 +8799,7 @@
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-defaultvalue" title="dom-input-defaultValue">defaultValue</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-value" title="dom-input-value">value</a>;
            attribute  <a href="http://dev.w3.org/html5/spec/#dom-input-valueasdate" title="dom-input-valueAsDate">valueAsDate</a>;
-           attribute float <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
+           attribute double <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
   readonly attribute <a href="http://dev.w3.org/html5/spec/#htmloptionelement" title="">HTMLOptionElement</a> <a href="http://dev.w3.org/html5/spec/#dom-input-selectedoption" title="dom-input-selectedOption">selectedOption</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-dim-width" title="dom-dim-width">width</a>;
 
@@ -8949,7 +8961,7 @@
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-defaultvalue" title="dom-input-defaultValue">defaultValue</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-value" title="dom-input-value">value</a>;
            attribute  <a href="http://dev.w3.org/html5/spec/#dom-input-valueasdate" title="dom-input-valueAsDate">valueAsDate</a>;
-           attribute float <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
+           attribute double <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
   readonly attribute <a href="http://dev.w3.org/html5/spec/#htmloptionelement" title="">HTMLOptionElement</a> <a href="http://dev.w3.org/html5/spec/#dom-input-selectedoption" title="dom-input-selectedOption">selectedOption</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-dim-width" title="dom-dim-width">width</a>;
 
@@ -9106,7 +9118,7 @@
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-defaultvalue" title="dom-input-defaultValue">defaultValue</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-value" title="dom-input-value">value</a>;
            attribute  <a href="http://dev.w3.org/html5/spec/#dom-input-valueasdate" title="dom-input-valueAsDate">valueAsDate</a>;
-           attribute float <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
+           attribute double <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
   readonly attribute <a href="http://dev.w3.org/html5/spec/#htmloptionelement" title="">HTMLOptionElement</a> <a href="http://dev.w3.org/html5/spec/#dom-input-selectedoption" title="dom-input-selectedOption">selectedOption</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-dim-width" title="dom-dim-width">width</a>;
 
@@ -9270,7 +9282,7 @@
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-defaultvalue" title="dom-input-defaultValue">defaultValue</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-value" title="dom-input-value">value</a>;
            attribute  <a href="http://dev.w3.org/html5/spec/#dom-input-valueasdate" title="dom-input-valueAsDate">valueAsDate</a>;
-           attribute float <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
+           attribute double <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
   readonly attribute <a href="http://dev.w3.org/html5/spec/#htmloptionelement" title="">HTMLOptionElement</a> <a href="http://dev.w3.org/html5/spec/#dom-input-selectedoption" title="dom-input-selectedOption">selectedOption</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-dim-width" title="dom-dim-width">width</a>;
 
@@ -9428,7 +9440,7 @@
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-defaultvalue" title="dom-input-defaultValue">defaultValue</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-value" title="dom-input-value">value</a>;
            attribute  <a href="http://dev.w3.org/html5/spec/#dom-input-valueasdate" title="dom-input-valueAsDate">valueAsDate</a>;
-           attribute float <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
+           attribute double <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
   readonly attribute <a href="http://dev.w3.org/html5/spec/#htmloptionelement" title="">HTMLOptionElement</a> <a href="http://dev.w3.org/html5/spec/#dom-input-selectedoption" title="dom-input-selectedOption">selectedOption</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-dim-width" title="dom-dim-width">width</a>;
 
@@ -9621,7 +9633,7 @@
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-defaultvalue" title="dom-input-defaultValue">defaultValue</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-value" title="dom-input-value">value</a>;
            attribute  <a href="http://dev.w3.org/html5/spec/#dom-input-valueasdate" title="dom-input-valueAsDate">valueAsDate</a>;
-           attribute float <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
+           attribute double <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
   readonly attribute <a href="http://dev.w3.org/html5/spec/#htmloptionelement" title="">HTMLOptionElement</a> <a href="http://dev.w3.org/html5/spec/#dom-input-selectedoption" title="dom-input-selectedOption">selectedOption</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-dim-width" title="dom-dim-width">width</a>;
 
@@ -9806,7 +9818,7 @@
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-defaultvalue" title="dom-input-defaultValue">defaultValue</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-value" title="dom-input-value">value</a>;
            attribute  <a href="http://dev.w3.org/html5/spec/#dom-input-valueasdate" title="dom-input-valueAsDate">valueAsDate</a>;
-           attribute float <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
+           attribute double <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
   readonly attribute <a href="http://dev.w3.org/html5/spec/#htmloptionelement" title="">HTMLOptionElement</a> <a href="http://dev.w3.org/html5/spec/#dom-input-selectedoption" title="dom-input-selectedOption">selectedOption</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-dim-width" title="dom-dim-width">width</a>;
 
@@ -9991,7 +10003,7 @@
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-defaultvalue" title="dom-input-defaultValue">defaultValue</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-value" title="dom-input-value">value</a>;
            attribute  <a href="http://dev.w3.org/html5/spec/#dom-input-valueasdate" title="dom-input-valueAsDate">valueAsDate</a>;
-           attribute float <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
+           attribute double <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
   readonly attribute <a href="http://dev.w3.org/html5/spec/#htmloptionelement" title="">HTMLOptionElement</a> <a href="http://dev.w3.org/html5/spec/#dom-input-selectedoption" title="dom-input-selectedOption">selectedOption</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-dim-width" title="dom-dim-width">width</a>;
 
@@ -10175,7 +10187,7 @@
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-defaultvalue" title="dom-input-defaultValue">defaultValue</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-value" title="dom-input-value">value</a>;
            attribute  <a href="http://dev.w3.org/html5/spec/#dom-input-valueasdate" title="dom-input-valueAsDate">valueAsDate</a>;
-           attribute float <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
+           attribute double <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
   readonly attribute <a href="http://dev.w3.org/html5/spec/#htmloptionelement" title="">HTMLOptionElement</a> <a href="http://dev.w3.org/html5/spec/#dom-input-selectedoption" title="dom-input-selectedOption">selectedOption</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-dim-width" title="dom-dim-width">width</a>;
 
@@ -10359,7 +10371,7 @@
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-defaultvalue" title="dom-input-defaultValue">defaultValue</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-value" title="dom-input-value">value</a>;
            attribute  <a href="http://dev.w3.org/html5/spec/#dom-input-valueasdate" title="dom-input-valueAsDate">valueAsDate</a>;
-           attribute float <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
+           attribute double <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
   readonly attribute <a href="http://dev.w3.org/html5/spec/#htmloptionelement" title="">HTMLOptionElement</a> <a href="http://dev.w3.org/html5/spec/#dom-input-selectedoption" title="dom-input-selectedOption">selectedOption</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-dim-width" title="dom-dim-width">width</a>;
 
@@ -10544,7 +10556,7 @@
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-defaultvalue" title="dom-input-defaultValue">defaultValue</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-value" title="dom-input-value">value</a>;
            attribute  <a href="http://dev.w3.org/html5/spec/#dom-input-valueasdate" title="dom-input-valueAsDate">valueAsDate</a>;
-           attribute float <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
+           attribute double <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
   readonly attribute <a href="http://dev.w3.org/html5/spec/#htmloptionelement" title="">HTMLOptionElement</a> <a href="http://dev.w3.org/html5/spec/#dom-input-selectedoption" title="dom-input-selectedOption">selectedOption</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-dim-width" title="dom-dim-width">width</a>;
 
@@ -10728,7 +10740,7 @@
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-defaultvalue" title="dom-input-defaultValue">defaultValue</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-value" title="dom-input-value">value</a>;
            attribute  <a href="http://dev.w3.org/html5/spec/#dom-input-valueasdate" title="dom-input-valueAsDate">valueAsDate</a>;
-           attribute float <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
+           attribute double <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
   readonly attribute <a href="http://dev.w3.org/html5/spec/#htmloptionelement" title="">HTMLOptionElement</a> <a href="http://dev.w3.org/html5/spec/#dom-input-selectedoption" title="dom-input-selectedOption">selectedOption</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-dim-width" title="dom-dim-width">width</a>;
 
@@ -10912,7 +10924,7 @@
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-defaultvalue" title="dom-input-defaultValue">defaultValue</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-value" title="dom-input-value">value</a>;
            attribute  <a href="http://dev.w3.org/html5/spec/#dom-input-valueasdate" title="dom-input-valueAsDate">valueAsDate</a>;
-           attribute float <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
+           attribute double <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
   readonly attribute <a href="http://dev.w3.org/html5/spec/#htmloptionelement" title="">HTMLOptionElement</a> <a href="http://dev.w3.org/html5/spec/#dom-input-selectedoption" title="dom-input-selectedOption">selectedOption</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-dim-width" title="dom-dim-width">width</a>;
 
@@ -11094,7 +11106,7 @@
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-defaultvalue" title="dom-input-defaultValue">defaultValue</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-value" title="dom-input-value">value</a>;
            attribute  <a href="http://dev.w3.org/html5/spec/#dom-input-valueasdate" title="dom-input-valueAsDate">valueAsDate</a>;
-           attribute float <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
+           attribute double <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
   readonly attribute <a href="http://dev.w3.org/html5/spec/#htmloptionelement" title="">HTMLOptionElement</a> <a href="http://dev.w3.org/html5/spec/#dom-input-selectedoption" title="dom-input-selectedOption">selectedOption</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-dim-width" title="dom-dim-width">width</a>;
 
@@ -11271,7 +11283,7 @@
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-defaultvalue" title="dom-input-defaultValue">defaultValue</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-value" title="dom-input-value">value</a>;
            attribute  <a href="http://dev.w3.org/html5/spec/#dom-input-valueasdate" title="dom-input-valueAsDate">valueAsDate</a>;
-           attribute float <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
+           attribute double <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
   readonly attribute <a href="http://dev.w3.org/html5/spec/#htmloptionelement" title="">HTMLOptionElement</a> <a href="http://dev.w3.org/html5/spec/#dom-input-selectedoption" title="dom-input-selectedOption">selectedOption</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-dim-width" title="dom-dim-width">width</a>;
 
@@ -11441,7 +11453,7 @@
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-defaultvalue" title="dom-input-defaultValue">defaultValue</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-value" title="dom-input-value">value</a>;
            attribute  <a href="http://dev.w3.org/html5/spec/#dom-input-valueasdate" title="dom-input-valueAsDate">valueAsDate</a>;
-           attribute float <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
+           attribute double <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
   readonly attribute <a href="http://dev.w3.org/html5/spec/#htmloptionelement" title="">HTMLOptionElement</a> <a href="http://dev.w3.org/html5/spec/#dom-input-selectedoption" title="dom-input-selectedOption">selectedOption</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-dim-width" title="dom-dim-width">width</a>;
 
@@ -11608,7 +11620,7 @@
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-defaultvalue" title="dom-input-defaultValue">defaultValue</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-value" title="dom-input-value">value</a>;
            attribute  <a href="http://dev.w3.org/html5/spec/#dom-input-valueasdate" title="dom-input-valueAsDate">valueAsDate</a>;
-           attribute float <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
+           attribute double <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
   readonly attribute <a href="http://dev.w3.org/html5/spec/#htmloptionelement" title="">HTMLOptionElement</a> <a href="http://dev.w3.org/html5/spec/#dom-input-selectedoption" title="dom-input-selectedOption">selectedOption</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-dim-width" title="dom-dim-width">width</a>;
 
@@ -11774,7 +11786,7 @@
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-defaultvalue" title="dom-input-defaultValue">defaultValue</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-value" title="dom-input-value">value</a>;
            attribute  <a href="http://dev.w3.org/html5/spec/#dom-input-valueasdate" title="dom-input-valueAsDate">valueAsDate</a>;
-           attribute float <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
+           attribute double <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
   readonly attribute <a href="http://dev.w3.org/html5/spec/#htmloptionelement" title="">HTMLOptionElement</a> <a href="http://dev.w3.org/html5/spec/#dom-input-selectedoption" title="dom-input-selectedOption">selectedOption</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-dim-width" title="dom-dim-width">width</a>;
 
@@ -11937,7 +11949,7 @@
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-defaultvalue" title="dom-input-defaultValue">defaultValue</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-value" title="dom-input-value">value</a>;
            attribute  <a href="http://dev.w3.org/html5/spec/#dom-input-valueasdate" title="dom-input-valueAsDate">valueAsDate</a>;
-           attribute float <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
+           attribute double <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
   readonly attribute <a href="http://dev.w3.org/html5/spec/#htmloptionelement" title="">HTMLOptionElement</a> <a href="http://dev.w3.org/html5/spec/#dom-input-selectedoption" title="dom-input-selectedOption">selectedOption</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-dim-width" title="dom-dim-width">width</a>;
 

Index: input.week.html
===================================================================
RCS file: /sources/public/html5/markup/input.week.html,v
retrieving revision 1.49
retrieving revision 1.50
diff -u -d -r1.49 -r1.50
--- input.week.html 29 Mar 2010 15:07:59 -0000 1.49
+++ input.week.html 9 Apr 2010 21:13:08 -0000 1.50
@@ -174,7 +174,7 @@
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-defaultvalue" title="dom-input-defaultValue">defaultValue</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-value" title="dom-input-value">value</a>;
            attribute  <a href="http://dev.w3.org/html5/spec/#dom-input-valueasdate" title="dom-input-valueAsDate">valueAsDate</a>;
-           attribute float <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
+           attribute double <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
   readonly attribute <a href="http://dev.w3.org/html5/spec/#htmloptionelement" title="">HTMLOptionElement</a> <a href="http://dev.w3.org/html5/spec/#dom-input-selectedoption" title="dom-input-selectedOption">selectedOption</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-dim-width" title="dom-dim-width">width</a>;
 

Index: input.submit.html
===================================================================
RCS file: /sources/public/html5/markup/input.submit.html,v
retrieving revision 1.46
retrieving revision 1.47
diff -u -d -r1.46 -r1.47
--- input.submit.html 29 Mar 2010 15:07:58 -0000 1.46
+++ input.submit.html 9 Apr 2010 21:13:08 -0000 1.47
@@ -152,7 +152,7 @@
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-defaultvalue" title="dom-input-defaultValue">defaultValue</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-value" title="dom-input-value">value</a>;
            attribute  <a href="http://dev.w3.org/html5/spec/#dom-input-valueasdate" title="dom-input-valueAsDate">valueAsDate</a>;
-           attribute float <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
+           attribute double <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
   readonly attribute <a href="http://dev.w3.org/html5/spec/#htmloptionelement" title="">HTMLOptionElement</a> <a href="http://dev.w3.org/html5/spec/#dom-input-selectedoption" title="dom-input-selectedOption">selectedOption</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-dim-width" title="dom-dim-width">width</a>;
 

Index: input.date.html
===================================================================
RCS file: /sources/public/html5/markup/input.date.html,v
retrieving revision 1.48
retrieving revision 1.49
diff -u -d -r1.48 -r1.49
--- input.date.html 29 Mar 2010 15:07:58 -0000 1.48
+++ input.date.html 9 Apr 2010 21:13:07 -0000 1.49
@@ -174,7 +174,7 @@
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-defaultvalue" title="dom-input-defaultValue">defaultValue</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-value" title="dom-input-value">value</a>;
            attribute  <a href="http://dev.w3.org/html5/spec/#dom-input-valueasdate" title="dom-input-valueAsDate">valueAsDate</a>;
-           attribute float <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
+           attribute double <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
   readonly attribute <a href="http://dev.w3.org/html5/spec/#htmloptionelement" title="">HTMLOptionElement</a> <a href="http://dev.w3.org/html5/spec/#dom-input-selectedoption" title="dom-input-selectedOption">selectedOption</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-dim-width" title="dom-dim-width">width</a>;
 

Index: input.url.html
===================================================================
RCS file: /sources/public/html5/markup/input.url.html,v
retrieving revision 1.48
retrieving revision 1.49
diff -u -d -r1.48 -r1.49
--- input.url.html 29 Mar 2010 15:07:59 -0000 1.48
+++ input.url.html 9 Apr 2010 21:13:08 -0000 1.49
@@ -160,7 +160,7 @@
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-defaultvalue" title="dom-input-defaultValue">defaultValue</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-input-value" title="dom-input-value">value</a>;
            attribute  <a href="http://dev.w3.org/html5/spec/#dom-input-valueasdate" title="dom-input-valueAsDate">valueAsDate</a>;
-           attribute float <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
+           attribute double <a href="http://dev.w3.org/html5/spec/#dom-input-valueasnumber" title="dom-input-valueAsNumber">valueAsNumber</a>;
   readonly attribute <a href="http://dev.w3.org/html5/spec/#htmloptionelement" title="">HTMLOptionElement</a> <a href="http://dev.w3.org/html5/spec/#dom-input-selectedoption" title="dom-input-selectedOption">selectedOption</a>;
            attribute DOMString <a href="http://dev.w3.org/html5/spec/#dom-dim-width" title="dom-dim-width">width</a>;

Received on Friday, 9 April 2010 21:14:09 UTC