Added the nice style for preformatted text that is on public pages already

diff --git a/src/infodrom.css b/src/infodrom.css
index 320c447..e029c89 100644 (file)
--- a/src/infodrom.css
+++ b/src/infodrom.css
@@ -73,6 +73,24 @@ td.out {
   color: #ff0000;
 }
 
   color: #ff0000;
 }
 

+pre {
+  border: 1pt solid #cfcfcf;
+  background-color: #F3F5F7;
+  padding: 2px;
+  padding-left: 2px;
+  font-family: courier, monospace;
+  white-space: pre;
+  /* begin css 3 or browser specific rules - do not remove!
+   * see: http://forums.techguy.org/archive/index.php/t-249849.html
+   */
+  white-space: pre-wrap;
+  word-wrap: break-word;
+  white-space: -moz-pre-wrap;
+  white-space: -pre-wrap;
+  white-space: -o-pre-wrap;
+  /* end css 3 or browser specific rules */
+}
+

 /*
  * Menu
  */
 /*
  * Menu
  */