$(document).ready(function(){InsertFontPicker()});function InsertFontPicker(){var a=3;var d="#ArticleContent";var b=$('<div id="fontpicker"><a href="#" class="s" data-type="s" title="Decrease the font size">A-</a><a title="Increase the font size" class="l" href="#" data-type="l">A+</a></div>');var c=$(""+d+"");c.before(b);$("#fontpicker a").click(function(){var f=$(this).attr("data-type");if(f=="s"){inc=0-a}else{inc=a}var g=parseFloat(c.css("font-size"),10);var e=g+inc;c.css("font-size",e);return false})};