Revert "Revert "Refresh dart:dom""

client/dom/generated/src/interface/HTMLDocument.dart

 // Copyright (c) 2011, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 // WARNING: Do not edit - generated code.
 
 interface HTMLDocument extends Document {
 
   Element get activeElement();
 
@@ skipping 18 matching lines @@
   String get dir();
 
   void set dir(String value);
 
   HTMLCollection get embeds();
 
   String get fgColor();
 
   void set fgColor(String value);
 
-  int get height();
-
   String get linkColor();
 
   void set linkColor(String value);
 
   HTMLCollection get plugins();
 
   HTMLCollection get scripts();
 
   String get vlinkColor();
 
   void set vlinkColor(String value);
 
-  int get width();
-
   void captureEvents();
 
   void clear();
 
   void close();
 
   bool hasFocus();
 
   void open();
 
@@ skipping 21 matching lines @@
    * Indicates the document is finished parsing but is still loading
    * subresources.
    */
   static final String INTERACTIVE = "interactive";
 
   /**
    * Indicates the document and all subresources have been loaded.
    */
   static final String COMPLETE = "complete";
 }