// Hardcode font size for now. In the future, this could be configurable.
document.documentElement.style.fontSize = "15px";