Web/scripts/util.js

function getCookie(key) {
    let c = document.cookie;
    if (!c)
        return undefined;
    let start = c.indexOf(key + "=") + key.length + 1;
    let end = c.indexOf(";", start);
    return c.substring(start, end < 0 ? c.length : end);
}

function setCookie(key, value, days) {
    var date = new Date();
    date.setTime(date.getTime() + (days * 24 * 60 * 60 * 1000));
    document.cookie = key + "=" + value + "; expires=" + date.toUTCString();
}

function forceToAnchor() {
    // this is probably a terrible hack
    if (window.location.hash.startsWith("#")) {
        var anchor = $(window.location.hash);
        if (anchor.length) {
            $('html, body').animate({
                scrollTop: anchor.offset().top
            }, 0);
        }
    }
}