1 files changed, 0 insertions, 21 deletions
diff --git a/doc/toc2.css b/doc/toc2.css
deleted file mode 100644
index 7376480ce..000000000
--- a/doc/toc2.css
+++ /dev/null
@@ -1,21 +0,0 @@
-/* asciidoc styles with table of contents on the left (toc2) */
-
-body {
-  margin-left: 26em;
-  margin-right: 2em;
-}
-#toc {
-  width: 23em;
-}
-#toc .toclevel2 {
-  margin-left: 1.5em;
-  font-size: .9em;
-}
-#toc .toclevel3 {
-  margin-left: 3em;
-  font-size: .9em;
-}
-#toc .toclevel4 {
-  margin-left: 4.5em;
-  font-size: .9em;
-}