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

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

Index: chrome/common/extensions/docs/server2/static/css/api.css
diff --git a/chrome/common/extensions/docs/server2/static/css/api.css b/chrome/common/extensions/docs/server2/static/css/api.css
index 06b2f22981f1e95eec1d7a4d081bab81aff645b9..059f1a9c4fe6a360056979b317fc80223160bf3a 100644
--- a/chrome/common/extensions/docs/server2/static/css/api.css
+++ b/chrome/common/extensions/docs/server2/static/css/api.css
@@ -1,3 +1,8 @@
+/* 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 {
@@ -46,41 +51,3 @@ div.summary .subdued {
 .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;
-}