Ticket #754: codex-pre-tab-size.patch

wordpress.org/public_html/style/codex-wp4.css

@@ -98 +98 @@
         font-size: 12px;
         font-weight: inherit;
         overflow-x: auto; /* Use horizontal scroller if needed; for Firefox 2, not needed in Firefox 3 */
+        -moz-tab-size: 4;
+        -o-tab-size: 4;
+        tab-size: 4;
         white-space: pre-wrap; /* css-3 */
         white-space: -moz-pre-wrap !important; /* Mozilla, since 1999 */
         white-space: -pre-wrap; /* Opera 4-6 */