let dark = getCookie("dark") === "true";
let pride = new Date().getMonth() == 5;
if (dark) {
document.write('')
document.write('')
}
if (pride)
document.write('')
$(function () {
let openModals = function (hash) {
if (hash && hash.length > 1) {
let modal = $(`${hash}-modal`);
if (modal.length)
modal.modal('show');
}
}
openModals(window.location.hash);
$('a').on('click', function () {
openModals($(this).attr('href'));
});;
$('.navbar-collapse a').on('click', function () {
$('.navbar-collapse').collapse('hide');
});
$('#blobheart').on('click', function () {
$('#navbar-image').attr('src', 'res/heart.png');
});
let mode = $('#dark-mode');
mode.prop('checked', dark);
mode.on('click', function () {
setCookie("dark", $(this).prop('checked'), 365);
window.location.hash = "";
location.reload();
});
PR.prettyPrint();
});