1 files changed, 0 insertions, 44 deletions
diff --git a/doc/texinfo.css b/doc/texinfo.css
deleted file mode 100644
index 69614b5..0000000
--- a/doc/texinfo.css
+++ /dev/null
@@ -1,44 +0,0 @@
-body {
-	margin: 2%;
-	padding: 0 5%;
-	background: #ffffff;
-}
-h1,h2,h3,h4,h5 {
-    font-weight: bold;
-    padding: 5px 5px 5px 5px;
-    background-color: #c2e0ff;
-    color: #336699;
-}
-h1 {
-    padding: 2em 2em 2em 5%;
-    color: white;
-    background: #336699;
-    text-align: center;
-    letter-spacing: 3px;
-}
-h2 { text-decoration: underline; }
-pre {
-  margin: 0 5%;
-  padding: 0.5em;
-}
-pre.example {
-  border: solid 1px;
-  background: #eeeeff;
-  padding-bottom: 1em;
-}
-pre.verbatim {
-  border: solid 1px gray;
-  background: white;
-  padding-bottom: 1em;
-}
-div.node {
-  margin: 0 -5% 0 -2%;
-  padding: 0.5em 0.5em;
-  margin-top: 0.5em;
-  margin-bottom: 0.5em;
-  font-weight: bold;
-}
-dd, li {
-  padding-top: 0.1em;
-  padding-bottom: 0.1em;
-}