Don't add index to toc

kevinthecheung · kevinthecheung · commit 15f011160423 · 2023-07-17T09:20:08.000-07:00
diff --git a/docs/generate.sh b/docs/generate.sh
@@ -186,8 +186,6 @@ cp _build/objects.inv "$OUTDIR"
 TOC="$OUTDIR"/_toc.yaml
 cat >"$TOC" <<EOL
 toc:
-- title: Overview
-  path: ${DEVSITE_PATH}/
 EOL
 for m in ${PY_MODULES}; do
   echo "- title: ${m}" >>"$TOC"
diff --git a/docs/theme/devsite_sphinx_theme/layout.html b/docs/theme/devsite_sphinx_theme/layout.html
@@ -14,7 +14,7 @@
     <meta name="book_path" value="/docs/reference/_book.yaml" />
     <meta name="page_type" value="reference" />
     <meta name="translation" value="disabled">
-    <link rel="stylesheet" type="text/css" href="/styles/sphinx.css">
+    <link rel="stylesheet" href="/styles/sphinx.css">
   </head>
   <body>
 {%- block header %}{% endblock %}
