More s/body/documentElement/ as body.scroll{...} is deprecated.

chrome/browser/resources/options/options_page.js

Index: chrome/browser/resources/options/options_page.js
diff --git a/chrome/browser/resources/options/options_page.js b/chrome/browser/resources/options/options_page.js
index 2d0583f02a0b2d15a6b0df99449515b1ebbb877c..2bb3886947d94c979be6d04002d39dc4ed338c70 100644
--- a/chrome/browser/resources/options/options_page.js
+++ b/chrome/browser/resources/options/options_page.js
@@ -204,7 +204,7 @@ cr.define('options', function() {
     var container = $('page-container');
     var scrollTop = container.oldScrollTop || 0;
     container.oldScrollTop = undefined;
-    window.scroll(document.body.scrollLeft, scrollTop);
+    window.scroll(document.documentElement.scrollLeft, scrollTop);
   };
 
   /**
@@ -704,7 +704,7 @@ cr.define('options', function() {
       e.style.right = OptionsPage.horizontalOffset + 'px';
     } else {
       e.style.left = OptionsPage.horizontalOffset -
-          document.body.scrollLeft + 'px';
+          document.documentElement.scrollLeft + 'px';
     }
   };