From 758674a18041267095e9370054cee39413f4b81f Mon Sep 17 00:00:00 2001
From: moodler <moodler>
Date: Fri, 4 Jun 2004 05:09:01 +0000
Subject: [PATCH] Added commandline style

---
 doc/docstyles.css | 16 +++++++++++++++-
 1 file changed, 15 insertions(+), 1 deletion(-)

diff --git a/doc/docstyles.css b/doc/docstyles.css
index 555c634697..319597299d 100755
--- a/doc/docstyles.css
+++ b/doc/docstyles.css
@@ -1,4 +1,3 @@
-
 body, td, th, li {
     font-family: "Trebuchet MS", Verdana, Arial, Helvetica, sans-serif;
 }
@@ -117,3 +116,18 @@ ul {
 	margin-top: 10px;
 
 }
+.commandline {
+	font-family: "Courier New", Courier, mono;
+	font-size: x-small;
+	background-color: #FBFBFB;
+	margin: auto auto 20px 30px;
+	padding: 5px;
+	height: auto;
+	width: auto;
+	font-weight: bold;
+	border: 1px solid #999999;
+	white-space: nowrap;
+	display: compact;
+	clear: both;
+	float: none;
+}
-- 
2.39.5