From 9e12b9eccba4a85b09213484cc6dea2c032b097a Mon Sep 17 00:00:00 2001
From: martignoni <martignoni>
Date: Sun, 6 Jun 2004 18:24:13 +0000
Subject: [PATCH] Using styles for code

---
 lang/fr/docs/docstyles.css | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

diff --git a/lang/fr/docs/docstyles.css b/lang/fr/docs/docstyles.css
index 555c634697..eecd429856 100755
--- 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;
+}
-- 
2.39.5