maint: Really remove texinfo.css.
Signed-off-by: Simon Josefsson <simon@josefsson.org>
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;
-}
