決定版は、こんな感じかなー。

23,28d22
<
<         if (highlightElem.tagName == 'H3') {
<           var diary_title = "#{@conf.html_title.gsub(/"/, '\\"')} (#{@date.strftime('%Y-%m-%d')})";
<           var section_title = highlightElem.innerHTML.replace(/<[^>]+?>/g, '').replace(/^[^ ]* /, '');
<           document.title = section_title + ' - ' + diary_title;
<         }

結局「"」のエスケープについては、

print '"'.gsub(/"/, '\\"')

で「\"」にエスケープできたけど、なんで

print '"'.tr('"', '\\"')

の結果が「"」になって、

print '"'.tr('"', '\\\\"')

の結果が「\」になるのかよくわからんかった。trとgsubでは何が違うんだ？

ああ！

trは文字列置換じゃなくて、文字単位での置換なのか！