@import url('https://fonts.googleapis.com/css2?family=Josefin+Sans:ital,wght@0,400;0,700;1,400;1,700&family=New+Rocker&display=swap');
body {
    margin: 5% 5% 5% 5%;
    font-family: 'Josefin Sans', Georgia, sans-serif;
    font-size: 16pt;
}
div.content {
    margin: 1em auto;
    max-width: 32em;
}
h1 {
    font-family: 'New Rocker', sans-serif;
    font-size: 78pt;
    text-align: center;
    margin: 0.5em 0 0.5em 0;
}
h1::before {
    content: "";
    position: absolute;
    width: 100%;
    height: 180px;
    top: 50px;
    left: 0;
    background-image: url('favicon.svg');
    background-size: 180px 180px;
    background-position: top center;
    background-repeat: repeat-x;
    opacity: 0.2;
    z-index: -1;
}
h1 > a {
    color: inherit;
}
h1 > a:hover {
    text-decoration: none;
    text-shadow: 0px 0px 8px #888;
}
h2 {
    font-family: 'Josefin Sans', sans-serif;
    font-size: 32pt;
    margin: 1em 0 1em 0;
}
h3 {
    font-family: 'Josefin Sans', sans-serif;
    font-size: 20pt;
    margin: 1em 0 1em 0;
}
p.footer {
    font-size: 12pt;
    text-align: center;
}
a {
    text-decoration: none;
}
a:hover {
    text-decoration: underline;
}
a.pavilion-link {
    border: solid 1px #D1D1D1;
    border-radius: 4px;
    display: block;
    padding: 0.75em 0.75em 0.25em 0.75em;
    text-decoration: none;
    color: inherit;
    line-height: 1.25em;
}
a.pavilion-link:hover {
    border: solid 1px #888;
    text-shadow: 0px 0px 2px #888;
}