function init() {
    //  load main navigation - from menu.js:
    loadNav();
    //  check if text size cookie has been set - from fontSizeSwitcher.js
    checkTextSize();
}