@import url('https://fonts.googleapis.com/css2?family=DM+Mono:ital,wght@0,300;0,400;0,500;1,300;1,400;1,500&display=swap');

body {
    font-family: 'DM Mono', Courier, monospace;
    outline: solid 2px black;
    max-width: 1000px;
    min-height: 100vh;
    margin: 0 auto;
    padding: 0 20px;
}

h1 {
    margin: 0;
}

h2 {
    margin-bottom: 0.2em;
    background-color: rgb(253, 220, 70);
    width: fit-content;
}

a {
    text-decoration: none;
    color: rgb(15, 120, 206);
}

a:hover {
    text-decoration: underline;
}

ul {
    list-style: "> " inside;
}

video {
    outline: solid black 2px;
    width: 560px;
}

.desc {
    font-style: italic;
}

.sticktop {
    margin-top: 0;
}

.hl {
    background-color: rgb(253, 220, 70);
    width: fit-content;
}

#menu {
    font-size: 1.5rem;
    padding: 0;
}

#demo {
    width: 100%;
}

@media (pointer:none), (pointer:coarse) {
    html {
        font-size: 3rem;
    }

    body {
        max-width: 100%;
        outline: none;
        margin: 1em 1em;
        padding: 0;
    }

    h2 {
        font-size: 1.2rem;
    }

    video {
        width: 100%;
        margin: 0;
        padding: auto;
    }

    #menu {
        font-size: 1.7rem;
        padding: 0;
    }
}