Using styles for code

diff --git a/lang/fr/docs/docstyles.css b/lang/fr/docs/docstyles.css
index 555c6346970ec96c647f2df9b3a99f2eaf1e3e01..eecd42985647e8430ce69c5d1bc7a3f13c1f2d35 100755 (executable)
--- a/lang/fr/docs/docstyles.css
+++ b/lang/fr/docs/docstyles.css
@@ -1,3 +1,4 @@
+/* $Id$ */
 
 body, td, th, li {
     font-family: "Trebuchet MS", Verdana, Arial, Helvetica, sans-serif;
@@ -117,3 +118,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;
+}