()
| 812 | }); |
| 813 | |
| 814 | var demod_init = async function () { |
| 815 | if (document.getElementById(DEMOD_ID) || !document.body) |
| 816 | return; |
| 817 | |
| 818 | // Adding the "hover" area for the DeMod button. |
| 819 | const demod_div = document.createElement('div'); |
| 820 | demod_div.setAttribute('id', DEMOD_ID); |
| 821 | demod_div.style.position = 'fixed'; |
| 822 | demod_div.style.top = '0px'; |
| 823 | demod_div.style.left = '50%'; |
| 824 | demod_div.style.transform = 'translate(-50%, 0%)'; |
| 825 | demod_div.style.width = '254px'; |
| 826 | demod_div.style.height = '24px'; |
| 827 | demod_div.style.display = 'inline-block'; |
| 828 | demod_div.style.verticalAlign = 'top'; |
| 829 | demod_div.style.zIndex = 999; |
| 830 | |
| 831 | // Adding the actual DeMod button |
| 832 | demod_button = document.createElement('button'); |
| 833 | demod_button.style.color = 'white'; |
| 834 | demod_button.style.height = '6px'; |
| 835 | demod_button.style.width = '124px'; |
| 836 | demod_button.style.border = 'none'; |
| 837 | demod_button.style.cursor = 'pointer'; |
| 838 | demod_button.style.outline = 'none'; |
| 839 | demod_button.style.display = 'inline-block'; |
| 840 | demod_button.style.verticalAlign = 'top'; |
| 841 | |
| 842 | demod_div.appendChild(demod_button); |
| 843 | |
| 844 | const demod_space = document.createElement('div'); |
| 845 | demod_space.style.width = '4px'; |
| 846 | demod_space.style.display = 'inline-block'; |
| 847 | demod_space.style.verticalAlign = 'top'; |
| 848 | |
| 849 | demod_div.appendChild(demod_space); |
| 850 | |
| 851 | // Adding the last message status indicator |
| 852 | demod_status = document.createElement('div'); |
| 853 | demod_status.style.color = 'white'; |
| 854 | demod_status.style.height = '6px'; |
| 855 | demod_status.style.border = '0px'; |
| 856 | demod_status.style.padding = '0px'; |
| 857 | demod_status.style.width = '124px'; |
| 858 | demod_status.style.fontSize = '0px'; |
| 859 | demod_status.style.border = 'none'; |
| 860 | demod_status.style.outline = 'none'; |
| 861 | demod_status.style.display = 'inline-block'; |
| 862 | demod_status.style.verticalAlign = 'top'; |
| 863 | demod_status.style.textAlign = 'center'; |
| 864 | demod_status.style.backgroundColor = '#9A9A9A'; |
| 865 | demod_status.textContent = "Latest: None"; |
| 866 | |
| 867 | demod_div.appendChild(demod_status); |
| 868 | |
| 869 | demod_div.onmouseover = function () { |
| 870 | is_over = true; |
| 871 | demod_status.style.fontSize = '10px'; |
no test coverage detected