Added commandline style

diff --git a/doc/docstyles.css b/doc/docstyles.css
index 555c6346970ec96c647f2df9b3a99f2eaf1e3e01..319597299ddfa052c23af3f0a5d495cc210e49a1 100755 (executable)
--- 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;
+}