jQuery.noConflict(); function gtid(x){ if(x!=undefined) return " "+x+"
"; return "
"; } function gtname(x){ if(x!=undefined) return ""; return " "; } function clearsubdashes(x){ var a = new RegExp(String.fromCharCode(95),'g'); x = x.replace(a, String.fromCharCode(32)); return x; } jQuery(document).ready( function(){ jQuery('.proposition').css('color','#006500'); jQuery('.lemma').css('color','#006500'); jQuery('.corollary').css('color','#006500'); var typ = new Array(".section",".subsection",".subsubsection",".paragraph",".subparagraph"); for(k=0;k'+ jQuery(this).attr('id')+''+gtname(jQuery(this).attr('name'))) .wrap('
')}); } jQuery('.enumerate').each( function(){jQuery(this) .wrap('
    ')}); jQuery('.description').each( function(){jQuery(this) .wrap('
    ')}); jQuery('.itemize').each( function(){jQuery(this) .wrap('')}); jQuery('.item').each( function(){jQuery(this) .wrap('
  1. ')}); var hd = new Array("h1","h2","h3","h4","h5","h6"); for(k=0;k '+current +'   '+gtid(jQuery(this).attr('id'))+gtname(jQuery(this).attr('name')) ) .wrap('
    ')}); } jQuery('.proof').before(' 
    Proof '); jQuery('.equation').each( function(){jQuery(this) .before(' 
    '+gtname(jQuery(this).attr('num'))) .append('('+jQuery(this).attr('num')+')')}); jQuery('.eq').before(' 
    '); jQuery('.skip').replaceWith('

     

    '); jQuery('.quad').replaceWith('   '); jQuery('.qquad').replaceWith('     '); jQuery('.cr').replaceWith('
    '); jQuery('.ref').each( function(){jQuery(this) .replaceWith(""+jQuery(this).text()+"")}); jQuery('.labelref').each( function(){jQuery(this) .replaceWith(""+jQuery(this).attr('name')+"")}); jQuery('proposition').css('color','#006500'); jQuery('lemma').css('color','#006500'); jQuery('corollary').css('color','#006500'); var typ = new Array("section","subsection","subsubsection","paragraph","subparagraph"); for(k=0;k'+ jQuery(this).attr('id')+''+gtname(jQuery(this).attr('name'))) .wrap('

    ')}); } var hd = new Array("h1","h2","h3","h4","h5","h6"); for(k=0;k')}); jQuery('description').each( function(){jQuery(this) .wrap('
    ')}); jQuery('itemize').each( function(){jQuery(this) .wrap('
      ')}); jQuery('item').each( function(){jQuery(this) .wrap('
    • ')}); var typp = new Array("theorem","proposition","lemma","corollary","remark","example"); for(k=0;k '+current +'   '+gtid(jQuery(this).attr('id'))+gtname(jQuery(this).attr('name')) ) .wrap('
      ')}); } jQuery('proof').before(' 
      Proof '); jQuery('equation').each( function(){jQuery(this) .before(' 
      '+gtname(jQuery(this).attr('num'))) .append('('+jQuery(this).attr('num')+')')}); jQuery('eq').before(' 
      '); jQuery('skip').replaceWith('

       

      '); jQuery('quad').replaceWith('   '); jQuery('qquad').replaceWith('     '); jQuery('cr').replaceWith('
      '); jQuery('ref').each( function(){jQuery(this) .replaceWith(""+jQuery(this).text()+"")}); jQuery('labelref').each( function(){jQuery(this) .replaceWith(""+jQuery(this).attr('name')+"")}); var y = jQuery("a.reflink:last").text(); if(y.indexOf("Contents")>0){ jQuery("a.reflink:last").prepend("  ").append("↺"); } else { jQuery("a.reflink:last").prepend("  ").append("↪"); } jQuery("a.reflink").not(':last').prepend("»"); });