jQuery(function() { if (typeof(wrap_nav_toc) === 'undefined') { wrap_nav_toc = true; jQuery("#inlinetoc2").each(function() { jQuery(this).prepend('⧫'); }); } });