padding: 0px 2px 0px 2px;
}
+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 */
+}
+
.font {
font-size: small;
}