diff --git a/manage.js b/manage.js
index 1b450a82..0a5072bf 100644
--- a/manage.js
+++ b/manage.js
@@ -1,380 +1,380 @@
-var styleTemplate = document.createElement("div");
-styleTemplate.innerHTML = "<h2 class='style-name'></h2><p class='applies-to'></p><p class='actions'><a class='style-edit-link' href='edit.html?id='><button>" + t('editStyleLabel') + "</button></a><button class='enable'>" + t('enableStyleLabel') + "</button><button class='disable'>" + t('disableStyleLabel') + "</button><button class='delete'>" + t('deleteStyleLabel') + "</button><button class='check-update'>" + t('checkForUpdate') + "</button><button class='update'>" + t('installUpdate') + "</button><span class='update-note'></span></p>";
-
-var lastUpdatedStyleId = null;
-
-var appliesToExtraTemplate = document.createElement("span");
-appliesToExtraTemplate.className = "applies-to-extra";
-appliesToExtraTemplate.innerHTML = " " + t('appliesDisplayTruncatedSuffix');
-
-chrome.extension.sendMessage({method: "getStyles"}, showStyles);
-
-function showStyles(styles) {
-	var installed = document.getElementById("installed");
-	styles.map(createStyleElement).forEach(function(e) {
-		installed.appendChild(e);
-	});
-	// prefs may be defaulted in storage.js - at this point they'll have been loaded
-	loadPrefs();
-}
-
-function createStyleElement(style) {
-	var e = styleTemplate.cloneNode(true);
-	e.setAttribute("class", style.enabled == "true" ? "enabled" : "disabled");
-	e.setAttribute("style-id", style.id);
-	if (style.updateUrl) {
-		e.setAttribute("style-update-url", style.updateUrl);
-	}
-	if (style.md5Url) {
-		e.setAttribute("style-md5-url", style.md5Url);
-	}
-	if (style.originalMd5) {
-		e.setAttribute("style-original-md5", style.originalMd5);
-	}
-	
-	var styleName = e.querySelector(".style-name");
-	styleName.appendChild(document.createTextNode(style.name));
-	if (style.url) {
-		var homepage = document.createElement("a");
-		homepage.setAttribute("href", style.url);
-		homepage.setAttribute("target", "_blank");
-		var homepageImg = document.createElement("img");
-		homepageImg.src = "world_go.png";
-		homepageImg.alt = "*";
-		homepage.appendChild(homepageImg);
-		styleName.appendChild(document.createTextNode(" " ));
-		styleName.appendChild(homepage);
-	}
-	var domains = [];
-	var urls = [];
-	var urlPrefixes = [];
-	var regexps = [];
-	function add(array, property) {
-		style.sections.forEach(function(section) {
-			if (section[property]) {
-				section[property].filter(function(value) {
-					return array.indexOf(value) == -1;
-				}).forEach(function(value) {
-					array.push(value);
-				});;
-			}
-		});
-	}
-	add(domains, 'domains');
-	add(urls, 'urls');
-	add(urlPrefixes, 'urlPrefixes');
-	add(regexps, 'regexps');
-	var appliesToToShow = [];
-	if (domains)
-		appliesToToShow = appliesToToShow.concat(domains);
-	if (urls)
-		appliesToToShow = appliesToToShow.concat(urls);
-	if (urlPrefixes)
-		appliesToToShow = appliesToToShow.concat(urlPrefixes.map(function(u) { return u + "*"; }));
-	if (regexps)
-		appliesToToShow = appliesToToShow.concat(regexps.map(function(u) { return "/" + u + "/"; }));
-	var appliesToString = "";
-	var showAppliesToExtra = false;
-	if (appliesToToShow.length == "")
-		appliesToString = t('appliesToEverything');
-	else if (appliesToToShow.length <= 10)
-		appliesToString = appliesToToShow.join(", ");
-	else {
-		appliesToString = appliesToToShow.slice(0, 10).join(", ");
-		showAppliesToExtra = true;
-	}
-	e.querySelector(".applies-to").appendChild(document.createTextNode(t('appliesDisplay', [appliesToString])));
-	if (showAppliesToExtra) {
-		e.querySelector(".applies-to").appendChild(appliesToExtraTemplate.cloneNode(true));
-	}
-	var editLink = e.querySelector(".style-edit-link");
-	editLink.setAttribute("href", editLink.getAttribute("href") + style.id);
-	e.querySelector(".enable").addEventListener("click", function(event) { enable(event, true); }, false);
-	e.querySelector(".disable").addEventListener("click", function(event) { enable(event, false); }, false);
-	e.querySelector(".check-update").addEventListener("click", doCheckUpdate, false);
-	e.querySelector(".update").addEventListener("click", doUpdate, false);
-	e.querySelector(".delete").addEventListener("click", doDelete, false);
-	return e;
-}
-
-function enable(event, enabled) {
-	var id = getId(event);
-	enableStyle(id, enabled);
-}
-
-function doDelete() {
-	if (!confirm(t('deleteStyleConfirm'))) {
-		return;
-	}
-	var id = getId(event);
-	deleteStyle(id);
-}
-
-function getId(event) {
-	return getStyleElement(event).getAttribute("style-id");
-}
-
-function getStyleElement(event) {
-	var e = event.target;
-	while (e) {
-		if (e.hasAttribute("style-id")) {
-			return e;
-		}
-		e = e.parentNode;
-	}
-	return null;
-}
-
-chrome.extension.onMessage.addListener(function(request, sender, sendResponse) {
-	switch(request.name) {
-		case "styleUpdated":
-			handleUpdate(request.style);
-			break;
-		case "styleAdded":
-			installed.appendChild(createStyleElement(request.style));
-			break;
-		case "styleDeleted":
-			handleDelete(request.id);
-			break;
-	}
-});
-
-function handleUpdate(style) {
-	var installed = document.getElementById("installed");
-	var element = createStyleElement(style);
-	installed.replaceChild(element, installed.querySelector("[style-id='" + style.id + "']"));
-	if (style.id == lastUpdatedStyleId) {
-		lastUpdatedStyleId = null;
-		element.className = element.className += " update-done";
-		element.querySelector(".update-note").innerHTML = t('updateCompleted');
-	};
-}
-
-function handleDelete(id) {
-	var installed = document.getElementById("installed");
-	installed.removeChild(installed.querySelector("[style-id='" + id + "']"));
-}
-
-function doCheckUpdate(event) {
-	checkUpdate(getStyleElement(event));
-}
-
-function checkUpdateAll() {
-	Array.prototype.forEach.call(document.querySelectorAll("[style-update-url]"), checkUpdate);
-}
-
-function checkUpdate(element) {
-	element.querySelector(".update-note").innerHTML = t('checkingForUpdate');
-	element.className = element.className.replace("checking-update", "").replace("no-update", "").replace("can-update", "") + " checking-update";
-	var id = element.getAttribute("style-id");
-	var url = element.getAttribute("style-update-url");
-	var md5Url = element.getAttribute("style-md5-url");
-	var originalMd5 = element.getAttribute("style-original-md5");
-
-	function handleSuccess(forceUpdate, serverJson) {
-		chrome.extension.sendMessage({method: "getStyles", id: id}, function(styles) {
-			var style = styles[0];
-			if (!forceUpdate && codeIsEqual(style.sections, serverJson.sections)) {
-				handleNeedsUpdate("no", id, serverJson);
-			} else {
-				handleNeedsUpdate("yes", id, serverJson);
-			}
-		});
-	}
-
-	function handleFailure(status) {
-		if (status == 0) {
-			handleNeedsUpdate(t('updateCheckFailServerUnreachable'), id, null);
-		} else {
-			handleNeedsUpdate(t('updateCheckFailBadResponseCode', [status]), id, null);
-		}
-	}
-
-	if (!md5Url || !originalMd5) {
-		checkUpdateFullCode(url, false, handleSuccess, handleFailure)
-	} else {
-		checkUpdateMd5(originalMd5, md5Url, function(needsUpdate) {
-			if (needsUpdate) {
-				// If the md5 shows a change we will update regardless of whether the code looks different
-				checkUpdateFullCode(url, true, handleSuccess, handleFailure);
-			} else {
-				handleNeedsUpdate("no", id, null);
-			}
-		}, handleFailure);
-	}
-}
-
-function checkUpdateFullCode(url, forceUpdate, successCallback, failureCallback) {
-	download(url, function(responseText) {
-		successCallback(forceUpdate, JSON.parse(responseText));
-	}, failureCallback);
-}
-
-function checkUpdateMd5(originalMd5, md5Url, successCallback, failureCallback) {
-	download(md5Url, function(responseText) {
-		if (responseText.length != 32) {
-			failureCallback(-1);
-			return;
-		}
-		successCallback(responseText != originalMd5);
-	}, failureCallback);
-}
-
-function download(url, successCallback, failureCallback) {
-	var xhr = new XMLHttpRequest();
-	xhr.onreadystatechange = function (aEvt) {  
-		if (xhr.readyState == 4) {  
-			if (xhr.status == 200) {
-				successCallback(xhr.responseText)
-			} else {
-				failureCallback(xhr.status);
-			}
-		}
-	}
-	if (url.length > 2000) {
-		var parts = url.split("?");
-		xhr.open("POST", parts[0], true);
-		xhr.setRequestHeader("Content-type","application/x-www-form-urlencoded");
-		xhr.send(parts[1]);
-	} else {
-		xhr.open("GET", url, true);
-		xhr.send();
-	}
-}
-
-function handleNeedsUpdate(needsUpdate, id, serverJson) {
-	var e = document.querySelector("[style-id='" + id + "']");
-	e.className = e.className.replace("checking-update", "");
-	switch (needsUpdate) {
-		case "yes":
-			e.className += " can-update";
-			e.updatedCode = serverJson;
-			e.querySelector(".update-note").innerHTML = '';
-			break;
-		case "no":
-			e.className += " no-update";
-			e.querySelector(".update-note").innerHTML = t('updateCheckSucceededNoUpdate');
-			break;
-		default:
-			e.className += " no-update";
-			e.querySelector(".update-note").innerHTML = needsUpdate;
-	}
-}
-
-function doUpdate(event) {
-	var element = getStyleElement(event);
-
-	var updatedCode = element.updatedCode;
-	// update everything but name
-	delete updatedCode.name;
-	updatedCode.id = element.getAttribute('style-id');
-	updatedCode.method = "saveStyle";
-
-	// updating the UI will be handled by the general update listener
-	lastUpdatedStyleId = updatedCode.id;
-	chrome.extension.sendMessage(updatedCode);
-}
-
-function codeIsEqual(a, b) {
-	if (a.length != b.length) {
-		return false;
-	}
-	var properties = ["code", "urlPrefixes", "urls", "domains", "regexps"];
-	for (var i = 0; i < a.length; i++) {
-		var found = false;
-		for (var j = 0; j < b.length; j++) {
-			var allEquals = properties.every(function(property) {
-				return jsonEquals(a[i], b[j], property);
-			});
-			if (allEquals) {
-				found = true;
-				break;
-			}
-		}
-		if (!found) {
-			return false;
-		}
-	}
-	return true;
-}
-
-function jsonEquals(a, b, property) {
-	var type = getType(a[property]);
-	var typeB = getType(b[property]);
-	if (type != typeB) {
-		// consider empty arrays equivalent to lack of property
-		if ((type == "undefined" || (type == "array" && a[property].length == 0)) && (typeB == "undefined" || (typeB == "array" && b[property].length == 0))) {
-			return true;
-		}
-		return false;
-	}
-	if (type == "undefined") {
-		return true;
-	}
-	if (type == "array") {
-		if (a[property].length != b[property].length) {
-			return false;
-		}
-		for (var i = 0; i < a.length; i++) {
-			var found = false;
-			for (var j = 0; j < b.length; j++) {
-				if (a[i] == b[j]) {
-					found = true;
-					break;
-				}
-			}
-			if (!found) {
-				return false;
-			}
-		}
-		return true;
-	}
-	if (type == "string") {
-		return a[property] == b[property];
-	}
-}
-
-function getType(o) {
-	if (typeof o == "undefined" || typeof o == "string") {
-		return typeof o;
-	}
-	if (o instanceof Array) {
-		return "array";
-	}
-	throw "Not supported - " + o;
-}
-
-function isCheckbox(el) {
-	return el.nodeName.toLowerCase() == "input" && "checkbox" == el.type.toLowerCase();
-}
-
-function changePref(event) {
-	var el = event.target;
-	localStorage[el.id] = isCheckbox(el) ? el.checked : el.value;
-	notifyAllTabs({method: "prefChanged"});
-}
-
-function loadPrefs() {
-	["show-badge"].forEach(function(id) {
-		var value = localStorage[id];
-		var el = document.getElementById(id);
-		if (isCheckbox(el)) {
-			if (value == "true") {
-				el.checked = true;
-			}
-		} else {
-			el.value = value;
-		}
-		el.addEventListener("change", changePref);
-	});
-}
-
-document.title = t("manageTitle");
-tE("manage-heading", "manageHeading");
-tE("manage-text", "manageText", null, false);
-tE("check-all-updates", "checkAllUpdates");
-tE("add-style-label", "addStyleLabel");
-tE("options-heading", "optionsHeading");
-tE("show-badge-label", "prefShowBadge");
-
-document.getElementById("check-all-updates").addEventListener("click", checkUpdateAll, false);
+var styleTemplate = document.createElement("div");
+styleTemplate.innerHTML = "<h2 class='style-name'></h2><p class='applies-to'></p><p class='actions'><a class='style-edit-link' href='edit.html?id='><button>" + t('editStyleLabel') + "</button></a><button class='enable'>" + t('enableStyleLabel') + "</button><button class='disable'>" + t('disableStyleLabel') + "</button><button class='delete'>" + t('deleteStyleLabel') + "</button><button class='check-update'>" + t('checkForUpdate') + "</button><button class='update'>" + t('installUpdate') + "</button><span class='update-note'></span></p>";
+
+var lastUpdatedStyleId = null;
+
+var appliesToExtraTemplate = document.createElement("span");
+appliesToExtraTemplate.className = "applies-to-extra";
+appliesToExtraTemplate.innerHTML = " " + t('appliesDisplayTruncatedSuffix');
+
+chrome.extension.sendMessage({method: "getStyles"}, showStyles);
+
+function showStyles(styles) {
+	var installed = document.getElementById("installed");
+	styles.map(createStyleElement).forEach(function(e) {
+		installed.appendChild(e);
+	});
+	// prefs may be defaulted in storage.js - at this point they'll have been loaded
+	loadPrefs();
+}
+
+function createStyleElement(style) {
+	var e = styleTemplate.cloneNode(true);
+	e.setAttribute("class", style.enabled == "true" ? "enabled" : "disabled");
+	e.setAttribute("style-id", style.id);
+	if (style.updateUrl) {
+		e.setAttribute("style-update-url", style.updateUrl);
+	}
+	if (style.md5Url) {
+		e.setAttribute("style-md5-url", style.md5Url);
+	}
+	if (style.originalMd5) {
+		e.setAttribute("style-original-md5", style.originalMd5);
+	}
+
+	var styleName = e.querySelector(".style-name");
+	styleName.appendChild(document.createTextNode(style.name));
+	if (style.url) {
+		var homepage = document.createElement("a");
+		homepage.setAttribute("href", style.url);
+		homepage.setAttribute("target", "_blank");
+		var homepageImg = document.createElement("img");
+		homepageImg.src = "world_go.png";
+		homepageImg.alt = "*";
+		homepage.appendChild(homepageImg);
+		styleName.appendChild(document.createTextNode(" " ));
+		styleName.appendChild(homepage);
+	}
+	var domains = [];
+	var urls = [];
+	var urlPrefixes = [];
+	var regexps = [];
+	function add(array, property) {
+		style.sections.forEach(function(section) {
+			if (section[property]) {
+				section[property].filter(function(value) {
+					return array.indexOf(value) == -1;
+				}).forEach(function(value) {
+					array.push(value);
+				});;
+			}
+		});
+	}
+	add(domains, 'domains');
+	add(urls, 'urls');
+	add(urlPrefixes, 'urlPrefixes');
+	add(regexps, 'regexps');
+	var appliesToToShow = [];
+	if (domains)
+		appliesToToShow = appliesToToShow.concat(domains);
+	if (urls)
+		appliesToToShow = appliesToToShow.concat(urls);
+	if (urlPrefixes)
+		appliesToToShow = appliesToToShow.concat(urlPrefixes.map(function(u) { return u + "*"; }));
+	if (regexps)
+		appliesToToShow = appliesToToShow.concat(regexps.map(function(u) { return "/" + u + "/"; }));
+	var appliesToString = "";
+	var showAppliesToExtra = false;
+	if (appliesToToShow.length == "")
+		appliesToString = t('appliesToEverything');
+	else if (appliesToToShow.length <= 10)
+		appliesToString = appliesToToShow.join(", ");
+	else {
+		appliesToString = appliesToToShow.slice(0, 10).join(", ");
+		showAppliesToExtra = true;
+	}
+	e.querySelector(".applies-to").appendChild(document.createTextNode(t('appliesDisplay', [appliesToString])));
+	if (showAppliesToExtra) {
+		e.querySelector(".applies-to").appendChild(appliesToExtraTemplate.cloneNode(true));
+	}
+	var editLink = e.querySelector(".style-edit-link");
+	editLink.setAttribute("href", editLink.getAttribute("href") + style.id);
+	e.querySelector(".enable").addEventListener("click", function(event) { enable(event, true); }, false);
+	e.querySelector(".disable").addEventListener("click", function(event) { enable(event, false); }, false);
+	e.querySelector(".check-update").addEventListener("click", doCheckUpdate, false);
+	e.querySelector(".update").addEventListener("click", doUpdate, false);
+	e.querySelector(".delete").addEventListener("click", doDelete, false);
+	return e;
+}
+
+function enable(event, enabled) {
+	var id = getId(event);
+	enableStyle(id, enabled);
+}
+
+function doDelete() {
+	if (!confirm(t('deleteStyleConfirm'))) {
+		return;
+	}
+	var id = getId(event);
+	deleteStyle(id);
+}
+
+function getId(event) {
+	return getStyleElement(event).getAttribute("style-id");
+}
+
+function getStyleElement(event) {
+	var e = event.target;
+	while (e) {
+		if (e.hasAttribute("style-id")) {
+			return e;
+		}
+		e = e.parentNode;
+	}
+	return null;
+}
+
+chrome.extension.onMessage.addListener(function(request, sender, sendResponse) {
+	switch(request.name) {
+		case "styleUpdated":
+			handleUpdate(request.style);
+			break;
+		case "styleAdded":
+			installed.appendChild(createStyleElement(request.style));
+			break;
+		case "styleDeleted":
+			handleDelete(request.id);
+			break;
+	}
+});
+
+function handleUpdate(style) {
+	var installed = document.getElementById("installed");
+	var element = createStyleElement(style);
+	installed.replaceChild(element, installed.querySelector("[style-id='" + style.id + "']"));
+	if (style.id == lastUpdatedStyleId) {
+		lastUpdatedStyleId = null;
+		element.className = element.className += " update-done";
+		element.querySelector(".update-note").innerHTML = t('updateCompleted');
+	};
+}
+
+function handleDelete(id) {
+	var installed = document.getElementById("installed");
+	installed.removeChild(installed.querySelector("[style-id='" + id + "']"));
+}
+
+function doCheckUpdate(event) {
+	checkUpdate(getStyleElement(event));
+}
+
+function checkUpdateAll() {
+	Array.prototype.forEach.call(document.querySelectorAll("[style-update-url]"), checkUpdate);
+}
+
+function checkUpdate(element) {
+	element.querySelector(".update-note").innerHTML = t('checkingForUpdate');
+	element.className = element.className.replace("checking-update", "").replace("no-update", "").replace("can-update", "") + " checking-update";
+	var id = element.getAttribute("style-id");
+	var url = element.getAttribute("style-update-url");
+	var md5Url = element.getAttribute("style-md5-url");
+	var originalMd5 = element.getAttribute("style-original-md5");
+
+	function handleSuccess(forceUpdate, serverJson) {
+		chrome.extension.sendMessage({method: "getStyles", id: id}, function(styles) {
+			var style = styles[0];
+			if (!forceUpdate && codeIsEqual(style.sections, serverJson.sections)) {
+				handleNeedsUpdate("no", id, serverJson);
+			} else {
+				handleNeedsUpdate("yes", id, serverJson);
+			}
+		});
+	}
+
+	function handleFailure(status) {
+		if (status == 0) {
+			handleNeedsUpdate(t('updateCheckFailServerUnreachable'), id, null);
+		} else {
+			handleNeedsUpdate(t('updateCheckFailBadResponseCode', [status]), id, null);
+		}
+	}
+
+	if (!md5Url || !originalMd5) {
+		checkUpdateFullCode(url, false, handleSuccess, handleFailure)
+	} else {
+		checkUpdateMd5(originalMd5, md5Url, function(needsUpdate) {
+			if (needsUpdate) {
+				// If the md5 shows a change we will update regardless of whether the code looks different
+				checkUpdateFullCode(url, true, handleSuccess, handleFailure);
+			} else {
+				handleNeedsUpdate("no", id, null);
+			}
+		}, handleFailure);
+	}
+}
+
+function checkUpdateFullCode(url, forceUpdate, successCallback, failureCallback) {
+	download(url, function(responseText) {
+		successCallback(forceUpdate, JSON.parse(responseText));
+	}, failureCallback);
+}
+
+function checkUpdateMd5(originalMd5, md5Url, successCallback, failureCallback) {
+	download(md5Url, function(responseText) {
+		if (responseText.length != 32) {
+			failureCallback(-1);
+			return;
+		}
+		successCallback(responseText != originalMd5);
+	}, failureCallback);
+}
+
+function download(url, successCallback, failureCallback) {
+	var xhr = new XMLHttpRequest();
+	xhr.onreadystatechange = function (aEvt) {
+		if (xhr.readyState == 4) {
+			if (xhr.status == 200) {
+				successCallback(xhr.responseText)
+			} else {
+				failureCallback(xhr.status);
+			}
+		}
+	}
+	if (url.length > 2000) {
+		var parts = url.split("?");
+		xhr.open("POST", parts[0], true);
+		xhr.setRequestHeader("Content-type","application/x-www-form-urlencoded");
+		xhr.send(parts[1]);
+	} else {
+		xhr.open("GET", url, true);
+		xhr.send();
+	}
+}
+
+function handleNeedsUpdate(needsUpdate, id, serverJson) {
+	var e = document.querySelector("[style-id='" + id + "']");
+	e.className = e.className.replace("checking-update", "");
+	switch (needsUpdate) {
+		case "yes":
+			e.className += " can-update";
+			e.updatedCode = serverJson;
+			e.querySelector(".update-note").innerHTML = '';
+			break;
+		case "no":
+			e.className += " no-update";
+			e.querySelector(".update-note").innerHTML = t('updateCheckSucceededNoUpdate');
+			break;
+		default:
+			e.className += " no-update";
+			e.querySelector(".update-note").innerHTML = needsUpdate;
+	}
+}
+
+function doUpdate(event) {
+	var element = getStyleElement(event);
+
+	var updatedCode = element.updatedCode;
+	// update everything but name
+	delete updatedCode.name;
+	updatedCode.id = element.getAttribute('style-id');
+	updatedCode.method = "saveStyle";
+
+	// updating the UI will be handled by the general update listener
+	lastUpdatedStyleId = updatedCode.id;
+	chrome.extension.sendMessage(updatedCode);
+}
+
+function codeIsEqual(a, b) {
+	if (a.length != b.length) {
+		return false;
+	}
+	var properties = ["code", "urlPrefixes", "urls", "domains", "regexps"];
+	for (var i = 0; i < a.length; i++) {
+		var found = false;
+		for (var j = 0; j < b.length; j++) {
+			var allEquals = properties.every(function(property) {
+				return jsonEquals(a[i], b[j], property);
+			});
+			if (allEquals) {
+				found = true;
+				break;
+			}
+		}
+		if (!found) {
+			return false;
+		}
+	}
+	return true;
+}
+
+function jsonEquals(a, b, property) {
+	var type = getType(a[property]);
+	var typeB = getType(b[property]);
+	if (type != typeB) {
+		// consider empty arrays equivalent to lack of property
+		if ((type == "undefined" || (type == "array" && a[property].length == 0)) && (typeB == "undefined" || (typeB == "array" && b[property].length == 0))) {
+			return true;
+		}
+		return false;
+	}
+	if (type == "undefined") {
+		return true;
+	}
+	if (type == "array") {
+		if (a[property].length != b[property].length) {
+			return false;
+		}
+		for (var i = 0; i < a.length; i++) {
+			var found = false;
+			for (var j = 0; j < b.length; j++) {
+				if (a[i] == b[j]) {
+					found = true;
+					break;
+				}
+			}
+			if (!found) {
+				return false;
+			}
+		}
+		return true;
+	}
+	if (type == "string") {
+		return a[property] == b[property];
+	}
+}
+
+function getType(o) {
+	if (typeof o == "undefined" || typeof o == "string") {
+		return typeof o;
+	}
+	if (o instanceof Array) {
+		return "array";
+	}
+	throw "Not supported - " + o;
+}
+
+function isCheckbox(el) {
+	return el.nodeName.toLowerCase() == "input" && "checkbox" == el.type.toLowerCase();
+}
+
+function changePref(event) {
+	var el = event.target;
+	localStorage[el.id] = isCheckbox(el) ? el.checked : el.value;
+	notifyAllTabs({method: "prefChanged"});
+}
+
+function loadPrefs() {
+	["show-badge"].forEach(function(id) {
+		var value = localStorage[id];
+		var el = document.getElementById(id);
+		if (isCheckbox(el)) {
+			if (value == "true") {
+				el.checked = true;
+			}
+		} else {
+			el.value = value;
+		}
+		el.addEventListener("change", changePref);
+	});
+}
+
+document.title = t("manageTitle");
+tE("manage-heading", "manageHeading");
+tE("manage-text", "manageText", null, false);
+tE("check-all-updates", "checkAllUpdates");
+tE("add-style-label", "addStyleLabel");
+tE("options-heading", "optionsHeading");
+tE("show-badge-label", "prefShowBadge");
+
+document.getElementById("check-all-updates").addEventListener("click", checkUpdateAll, false);