document.getElementById("main").style.setProperty("max-width", "800px");
document.getElementById("main").style.setProperty("margin-left", "auto");
document.getElementById("main").style.setProperty("margin-right", "auto");
document.getElementById("extensions").style.setProperty("max-width", "800px");
document.getElementById("extensions").style.setProperty("margin-left", "auto");
document.getElementById("extensions").style.setProperty("margin-right", "auto");