code: function doCodeSpans(text) {
  
          text = text.replace(/(^|[^\\])(`+)([^\r]*?[^`])\2(?!`)/gm, function(wholeMatch,m1,m2,m3,m4) {
  
              var c = m3;
              c = c.replace(/^([ \t]*)/g,"");
              c = c.replace(/[ \t]*$/g,"");
              c = encodeCode(c);
  
              return m1+"<code>"+c+"</code>";
          });
  
          return text;
      }
docs: }}} {{{ doCodeSpans