Extension docs server: tweak CSS to make it look much more like the current

chrome/common/extensions/docs/server2/static/css/api.css

+/* Copyright (c) 2012 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.
+ */
+
 .type_name,
 .variable,
 .property {
   font-style: italic;
 }
 
 #gc-pagecontent table {
   border-collapse: collapse;
 }
 
@@ skipping 28 matching lines @@
   margin-left: 2em;
 }
 
 div.summary .subdued {
   color: #dfc9fb;
 }
 
 .optional {
   color: #7D7D7D;
 }
-
-#toc {
-  background-color: #E8EDEB;
-  float: right;
-  margin: 5px 0px 5px 20px;
-  padding: 5px;
-  width: 250px;
-}
-
-#toc * {
-  padding: 0;
-  list-style: none;
-}
-
-#toc h2 {
-  font-weight: bold;
-  font-size: 100%;
-  margin: 0;
-  border: none;
-  background-color: #E8EDEB;
-  padding: 0;
-}
-
-#toc ol {
-  margin: 1em 0 0 0;
-}
-
-#toc ol li {
-  margin: .4em 0 0 1em;
-}
-
-#toc ol li ol {
-  margin: 0;
-}
-
-#toc ol li ol li {
-  margin: .1em 0 0 1em;
-}