From 903ffbebfd2fb4e70106142e7d02085e425b77eb Mon Sep 17 00:00:00 2001
From: Ian Lynagh <igloo@earth.li>
Date: Sun, 11 May 2008 13:00:35 +0000
Subject: [PATCH] Remove gnerated file (doc/fptools.css)
---
doc/fptools.css | 39 ---------------------------------------
1 file changed, 39 deletions(-)
delete mode 100644 doc/fptools.css
diff --git a/doc/fptools.css b/doc/fptools.css
deleted file mode 100644
index 97f276c8d5..0000000000
--- a/doc/fptools.css
+++ /dev/null
@@ -1,39 +0,0 @@
-div {
- font-family: sans-serif;
- color: black;
- background: white
-}
-
-h1, h2, h3, h4, h5, h6, p.title { color: #005A9C }
-
-h1 { font: 170% sans-serif }
-h2 { font: 140% sans-serif }
-h3 { font: 120% sans-serif }
-h4 { font: bold 100% sans-serif }
-h5 { font: italic 100% sans-serif }
-h6 { font: small-caps 100% sans-serif }
-
-pre {
- font-family: monospace;
- border-width: 1px;
- border-style: solid;
- padding: 0.3em
-}
-
-pre.screen { color: #006400 }
-pre.programlisting { color: maroon }
-
-div.example {
- margin: 1ex 0em;
- border: solid #412e25 1px;
- padding: 0ex 0.4em
-}
-
-div.example, div.example-contents {
- background-color: #fffcf5
-}
-
-a:link { color: #0000C8 }
-a:hover { background: #FFFFA8 }
-a:active { color: #D00000 }
-a:visited { color: #680098 }
--
GitLab