1 files changed, 0 insertions, 160 deletions
diff --git a/docs/html/fpdoc.css b/docs/html/fpdoc.css
deleted file mode 100644
index 723e6fed..00000000
--- a/docs/html/fpdoc.css
+++ /dev/null
@@ -1,160 +0,0 @@
-/*
-  Feel free to use this file as a template for your own style sheets.
-*/
-
-body {
-  background: white
-}
-
-body, p, th, td, caption, h1, h2, h3, ul, ol, dl {
-  color: black;
-  font-family: sans-serif
-}
-
-tt, span.kw, pre {
-  font-family: monospace, Courier
-}
-
-body, p, th, td, caption, ul, ol, dl, tt, span.kw, pre {
-  font-size: 14px
-}
-
-A:link {
-  color: blue
-}
-
-A:visited {
-  color: darkblue
-}
-
-A:active {
-  color: red
-}
-
-A {
-  text-decoration: none
-}
-
-A:hover {
-  text-decoration: underline
-}
-
-h1, h2, td.h2 {
-  color: #005A9C
-}
-
-/* Especially for Netscape on Linux: */
-h3, td.h3 {
-  font-size: 12pt
-}
-
-/* source fragments */
-span.code {
-  white-space: nowrap
-}
-
-/* symbols in source fragments */
-span.sym {
-  color: darkred
-}
-
-/* keywords in source fragments */
-span.kw {
-  font-weight: bold
-}
-
-/* comments in source fragments */
-span.cmt {
-  color: darkcyan;
-  font-style: italic
-}
-
-/* directives in source fragments */
-span.dir {
-  color: darkyellow;
-  font-style: italic
-}
-
-/* numbers in source fragments */
-span.num {
-  color: darkmagenta
-}
-
-/* characters (#...) in source fragments */
-span.chr {
-  color: darkcyan
-}
-
-/* strings in source fragments */
-span.str {
-  color: blue
-}
-
-/* assembler passages in source fragments */
-span.asm {
-  color: green
-}
-
-td.pre {
-  white-space: pre
-}
-
-p.cmt {
-  color: gray
-}
-
-span.warning {
-  color: red;
-  font-weight: bold
-}
-
-/* !!!: How should we define this...? */
-span.file {
-  color: darkgreen
-}
-
-table.remark {
-  background-color: #ffffc0;
-}
-
-table.bar {
-  background-color: #a0c0ff;
-}
-
-span.bartitle {
-  font-weight: bold;
-  font-style: italic;
-  color: darkblue
-}
-
-span.footer {
-  font-style: italic;
-  color: darkblue
-}
-
-/* definition list */
-dl {
- border: 3px double #ccc;
- padding: 0.5em;
-}
-
-/* definition list: term */
-dt {
- float: left;
- clear: left;
- width: auto; /* normally browsers default width of largest item */
- padding-right: 20px;
- font-weight: bold;
- color: darkgreen;
-}
-
-/* definition list: description */
-dd {
- margin: 0 0 0 110px;
- padding: 0 0 0.5em 0;
-}
-
-/* for browsers in standards compliance mode */
-td p {
-  margin: 0;
-}