This file keeps every page of the site inside one document, so it needs JavaScript to switch between them.