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) {
    let date = new Date();
    date.setTime(date.getTime() + (days * 24 * 60 * 60 * 1000));
    document.cookie = `${key}=${value}; expires=${date.toUTCString()}; path=/`;
}

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

function addStyle(path) {
    $('head').append($("<link/>", {
        rel: "stylesheet",
        href: path
    }));
}