Adjustments to the fatnav and sidenav, and other CSS updates

chrome/common/extensions/docs/static/js/site.js

+// Copyright 2013 The Chromium Authors. All rights reserved.
+// Use of this source code is governed by a BSD-style license that can be
+// found in the LICENSE file.
+
 (function() {
 
 function addGplusButton() {
   var po = document.createElement('script'); po.type = 'text/javascript'; po.async = true;
   po.src = 'https://apis.google.com/js/plusone.js?onload=onLoadCallback';
   var s = document.getElementsByTagName('script')[0]; s.parentNode.insertBefore(po, s);
 }
 
 function openFeedback(e) {
   e.preventDefault();
@@ skipping 14 matching lines @@
     pre.classList.add('prettyprint');
   }
   window.prettyPrint && prettyPrint();
 }
 
 prettyPrintCode();
 addGoogleFeedback();
 addGplusButton();
 
 })();