[cssom-view] Make devicePixelRatio use vertical pixel size. Fixes https://www.w3.org/Bugs/Public/show_bug.cgi?id=26756

Author: Simon Pieters

cssom-view/Overview.html

@@ -16,7 +16,7 @@
 
  <h1>CSSOM View Module</h1>
 
- <h2 class="no-num no-toc" id="w3c-doctype">Editor's Draft 12 September 2014</h2>
+ <h2 class="no-num no-toc" id="w3c-doctype">Editor's Draft 15 September 2014</h2>
 
  <dl>
 
@@ -83,7 +83,7 @@ <h2 class="no-num no-toc" id="sotd">Status of This Document</h2>
 can be found in the <a href="http://www.w3.org/TR/">W3C technical reports
 index at http://www.w3.org/TR/.</a></em>
 
-<p>This is the 12 September 2014 Editor's Draft of CSSOM View. Please send
+<p>This is the 15 September 2014 Editor's Draft of CSSOM View. Please send
 comments to
 <a href="mailto:www-style@w3.org?subject=%5Bcssom-view%5D%20">www-style@w3.org</a>
 (<a href="http://lists.w3.org/Archives/Public/www-style/">archived</a>)
@@ -744,8 +744,7 @@ <h2 id="extensions-to-the-window-interface"><span class="secno">5 </span>Extensi
  <li><p>If there is no output device, return 1 and abort these steps.
  <li><p>Let <var>CSS pixel size</var> be the size of a CSS pixel at the current <a href="#page-zoom">page zoom</a> scale factor and at a <a href="#pinch-zoom">pinch zoom</a> scale
  factor of 1.0.
- <li><p>Let <var>device pixel size</var> be the size of a device pixel of the output device, in one dimension (vertical or horizontal). If the device pixel is
- not square, then use the smaller of the vertical or horizontal size of the smallest bounding box of the device pixel.
+ <li><p>Let <var>device pixel size</var> be the vertical size of a device pixel of the output device.
  <li><p>Return the result of dividing <var>CSS pixel size</var> by <var>device pixel size</var>.
 </ol>
 

cssom-view/Overview.src.html

@@ -700,8 +700,7 @@ <h2>Extensions to the <code title>Window</code> Interface</h2>
  <li><p>If there is no output device, return 1 and abort these steps.
  <li><p>Let <var>CSS pixel size</var> be the size of a CSS pixel at the current <span>page zoom</span> scale factor and at a <span>pinch zoom</span> scale
  factor of 1.0.
- <li><p>Let <var>device pixel size</var> be the size of a device pixel of the output device, in one dimension (vertical or horizontal). If the device pixel is
- not square, then use the smaller of the vertical or horizontal size of the smallest bounding box of the device pixel.
+ <li><p>Let <var>device pixel size</var> be the vertical size of a device pixel of the output device.
  <li><p>Return the result of dividing <var>CSS pixel size</var> by <var>device pixel size</var>.
 </ol>