html, body {
    margin: 0;
    padding: 0;
    width: 100%;
    height: 100%;
    background-color: #1A0F00;
}

#content {
    width: 100%;
    height: 100%;
    padding-top: 50px;
}

.banner {
    position: fixed;
    top: 0;
    width: 100%;
    z-index: 1000;
    display: flex;
    align-items: center;
    justify-content: center;
    background: #1f2937;
    padding: 10px 20px;
    font-size: 1.5rem;
    color: #f9fafb;
    text-transform: uppercase;
    box-sizing: border-box;
}

.banner[data-augmented-ui] {
    --augmented-ui-border-radius: 10px;
    --augmented-ui-padding: 10px;
}

.banner a {
    margin-left: 5px;
    color: #00acee;
    text-decoration: none;
}

.banner svg {
    margin-left: 15px;
    width: 24px;
    height: 24px;
}

@font-face {
    font-family: "pixel";
    src: local("pixel"), url("../fonts/pixel.woff") format("woff");
}

@font-face {
    font-family: "joystix";
    src: local("joystix"), url("../fonts/joystix_monospace.woff") format("woff");
}

.pixel {
    font-family: "pixel";
}

.joystix {
    font-family: "joystix";
}