scale_fonts.html (1068B)
1 <script>
2 function add_menu_entries() {
3
4 // search TOC navigation
5 var nav = document.querySelector("nav#TOC");
6
7 // create buttons
8 var small = create_scale_button("75%", "Small");
9 var medium = create_scale_button("100%", "Medium");
10 var large = create_scale_button("125%", "Large");
11
12 // add buttons to menu
13 nav.querySelector("ul").appendChild(small);
14 nav.querySelector("ul").appendChild(medium);
15 nav.querySelector("ul").appendChild(large);
16 }
17
18 function create_scale_button(size, label) {
19
20 // create list item and companion anchor
21 var list = document.createElement("li");
22 var anchor = document.createElement("a");
23
24 // add function and label
25 anchor.href = "javascript:scale_fonts('" + size +"');";
26 anchor.innerText = label;
27
28 // add anchor to list object
29 list.appendChild(anchor);
30
31 // return object
32 return(list);
33 }
34
35 function scale_fonts(size) {
36 document.querySelector("body").style = "font-size:" + size;
37 }
38
39 // run script on load
40 setTimeout(add_menu_entries, 100);
41 </script>
