1 files changed, 0 insertions, 12 deletions
diff --git a/docs/manual/style/manual.css b/docs/manual/style/manual.css
deleted file mode 100644
index 4d0482f8aa..0000000000
--- a/docs/manual/style/manual.css
+++ /dev/null
@@ -1,12 +0,0 @@
-body {background: white;
-      text: black; }
-
-.help { font-weight: bold }
-
-.directive { color: green; }
-
-.module { color: green; }
-
-a:link { text-decoration: none }
-a:hover { text-decoration: underline }
-a:visited { text-decoration: none }