@media only all and (prefers-color-scheme: dark) {
.highlight .hll { background-color: #49483e }
.highlight .c { color: #75715e } /* Comment */
.highlight .err { color: #960050; background-color: #1e0010 } /* Error */
.highlight .k { color: #66d9ef } /* Keyword */
.highlight .l { color: #ae81ff } /* Literal */
.highlight .n { color: #f8f8f2 } /* Name */
.highlight .o { color: #f92672 } /* Operator */
.highlight .p { color: #f8f8f2 } /* Punctuation */
.highlight .ch { color: #75715e } /* Comment.Hashbang */
.highlight .cm { color: #75715e } /* Comment.Multiline */
.highlight .cp { color: #75715e } /* Comment.Preproc */
.highlight .cpf { color: #75715e } /* Comment.PreprocFil
html {
    height: 100%;
}

body {
    .b_7;
    height: 100%;
    margin: auto;
    position: relative;
}

* {
    box-sizing: border-box;
    margin: 0;
}

html, body {
    height: 100%;
    overflow: hidden;
}

a {
    text-decoration: none;
}

canvas {
    outline: none;
}

.download-artifact {
    .hand;
}

// ---------------------------------------------------------------------------------------------------
// bootstrap overrides
// ---------------------------------------------------------------------------------------------------
html {

    .w-sdc-resource-container {
        padding: 20px 0;
    }

    // Hover on notification should keep it with opacity 1.
    .ui-notification {
        &.clickable {
            &:hover {
                opacity: 1;
            }
        }
    }

}