1 files changed, 0 insertions, 12 deletions
diff --git a/doc/users_guide/html/docbook.css b/doc/users_guide/html/docbook.css
deleted file mode 100644
index 0f90516..0000000
--- a/doc/users_guide/html/docbook.css
+++ /dev/null
@@ -1,12 +0,0 @@
-.NAVHEADER { display: none }
-.NAVFOOTER { display: none }
-.TOC       { display: none }
-
-.NAVTOC    { margin-left: 15;
-             display: none }
-
-.NAVBTN    { font-size: 10pt }
-
-.TOCTITLE  { font-size: 10pt;
-             color: blue;
- 	     text-decoration: underline; }