make SyntaxHighlighter and SourceViewer more useful by allowing replacements; remove index.json and source/Ox/png; plus some other small and/or cosmetic changes

source/Ox.UI/js/Code/Ox.SyntaxHighlighter.js

@@ -8,6 +8,9 @@ Ox.SyntaxHighlighter <function> Syntax Highlighter
     options <o> Options
         lineLength <n|0> If larger than zero, show edge of page
         offset <n|1> First line number
+        replace <[[]]|[]> Array of replacements
+            Each array element is an array of two arguments to be passed to the
+            replace function, like [str, str], [regexp, str] or [regexp, fn]
         showLinebreaks <b|false> If true, show linebreaks
         showLineNumbers <b|false> If true, show line numbers
         showWhitespace <b|false> If true, show whitespace
@@ -25,6 +28,7 @@ Ox.SyntaxHighlighter = function(options, self) {
             .defaults({
                 lineLength: 0,
                 offset: 1,
+                replace: [],
                 showLinebreaks: false,
                 showLineNumbers: false,
                 showTabs: false,
@@ -100,6 +104,11 @@ Ox.SyntaxHighlighter = function(options, self) {
                 )
                 .appendTo(that);
         }
+
+        self.options.replace.forEach(function(replace) {
+            source = source.replace(replace[0], replace[1])
+        });
+        
         $source = Ox.Element()
             .addClass('OxSourceCode')
             .html(source)
@@ -125,6 +134,22 @@ Ox.SyntaxHighlighter = function(options, self) {
         }
     }
 
+    setTimeout(function() {
+        $('.foobar > span').css({
+            textDecoration: 'underline'
+        })
+        $('.foobar').css({
+            //background: 'rgb(255, 255, 128)',
+            borderRadius: '2px',
+            cursor: 'pointer'
+        }).bind({
+            click: function() {
+                window.location.hash = 'documentation/' + $(this).attr('title');
+            }
+        })
+        
+    }, 1000)
+
     self.setOption = function(key, value) {
         renderSource();
     };