/* - sup_marks.js - */
jq(function() {
    jq('ul.navTree').html(jq('ul.navTree').html().replace(/®/g, '<sup>®</sup>'));
    jq('div.documentContent').html(jq('div.documentContent').html().replace(/®/g, '<sup>®</sup>'));
});