1 files changed, 0 insertions, 9 deletions
diff --git a/doc/txt/txt.css b/doc/txt/txt.css
deleted file mode 100644
index 6f11930..0000000
--- a/doc/txt/txt.css
+++ /dev/null
@@ -1,9 +0,0 @@
-h3 {
-	border-bottom: 1px solid #aaa;
-	background-color: #eee;
-}
-
-.bnf {
-	background-color: white;
-	padding-left: 0.7em;
-}