Content deleted Content added
+first shot at getting <sup>/</sub> to work |
m temporarily disable DisableRealTitle, just for testing purposes |
||
Line 18:
try {
var realTitleBanner = document.getElementById("RealTitleBanner");
if (realTitleBanner) { /* && !document.getElementById("DisableRealTitle")) { */
var realTitle = document.getElementById("RealTitle");
if (realTitle) {
| |||