diff options
Diffstat (limited to 'doc/users_guide/html/docbook.css')
-rw-r--r-- | doc/users_guide/html/docbook.css | 12 |
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; } |