- <script type="text/javascript">\r
- function fontSizeChange(size) {\r
- var elem = document.getElementsByTagName('body')[0];\r
- var flrg = document.getElementById('fontLarge');\r
- var fmdl = document.getElementById('fontMiddle');\r
- var fsml = document.getElementById('fontSmall');\r
- switch(size) {\r
- case 'l':\r
- elem.style.fontSize = 'large';\r
- flrg.style.fontWeight = 'bold';\r
- fmdl.style.fontWeight = 'normal';\r
- fsml.style.fontWeight = 'normal';\r
- break;\r
- case 'm':\r
- elem.style.fontSize = 'medium';\r
- flrg.style.fontWeight = 'normal';\r
- fmdl.style.fontWeight = 'bold';\r
- fsml.style.fontWeight = 'normal';\r
- break;\r
- case 's':\r
- elem.style.fontSize = 'small';\r
- flrg.style.fontWeight = 'normal';\r
- fmdl.style.fontWeight = 'normal';\r
- fsml.style.fontWeight = 'bold';\r
- break;\r
- }\r
- \r
- }\r
- </script>\r
+ <script src="http://www.google.com/jsapi"></script>\r
+ <script type="text/javascript">\r
+ google.load("jquery", "1");\r
+ google.setOnLoadCallback(function() {\r
+ $.getScript("devdocs/javascript/fontsizeChanger.js");\r
+ });\r
+ </script>\r