1 files changed, 0 insertions, 16 deletions
diff --git a/doc/DocBook/docbook.css b/doc/DocBook/docbook.css
deleted file mode 100644
index 7a79ec54bd..0000000000
--- a/doc/DocBook/docbook.css
+++ /dev/null
@@ -1,16 +0,0 @@
-body {
-	font-family:		sans-serif;
-}
-
-.programlisting {
-	font-family:		monospace;
-	font-size:		1em;
-	display:		block;
-	padding:		10px;
-	border:			1px solid #aaa;
-	color:			#000;
-	background-color:	#eee;
-	overflow:		auto;
-	margin:			1em 0em;
-	border-radius:		6px;
-}