/*noinspection CssUnknownTarget*/
@import url('https://fonts.googleapis.com/css?family=B612+Mono|Noto+Sans+SC|Russo+One&display=swap');

* {
    margin: 0;
    padding: 0;
    cursor: default;
}

html, body {
    background-color: #3C3F41;
    color: #87939A;
    font-family: 'Noto Sans SC', sans-serif;
}

body {
    padding-top: 160px;
}

a {
    text-decoration: none;
    cursor: pointer;
}

h1 a {
    font-family: 'Russo One', sans-serif;
    color: #A5C261;
    font-weight: normal;
    text-shadow: 2px 2px 1px rgba(255, 255, 255, 0.2);
    font-size: 32px;
}

h1 a:hover {
    display: inline-block;
    animation: wiggle 1s;
}

h1 em {
    font-size: 15px;
    margin-left: 10px;
    opacity: 0.5;
}

h2 {
    text-shadow: 2px 2px 1px rgba(255, 255, 255, 0.1);
}

ul {
    padding: 0 25px 25px 25px;
    margin-top: -50px;
}

ul li {
    list-style-type: none;
    margin: 10px 0;
}

ul li a {
    color: #e0e0e0;
    text-shadow: 2px 2px 1px rgba(255, 255, 255, 0.1);
    border: 2px solid #3E86A0;
    border-left-width: 10px;
    border-radius: 0;
    padding: 10px 21px 10px 12px;
    display: inline-block;
    font-family: "Lucida Console", Monaco, monospace;
    font-size: 14px;
    letter-spacing: 1px;
    box-shadow: inset 0 0 0 0 #3E86A0;
    transition: ease-out background-color 0.4s;
}

ul li a:hover {
    background-color: #3E86A0;
}

div.label {
    display: block;
}

div.loaded {
    color: #5C96BA;
}

div.loading {
    color: #CBBE55;
}

div.error {
    color: #B74843;
}

h1, h2, div.label {
    position: fixed;
    left: 0;
    right: 0;
    background-color: #3C3F41;
}

h1 {
    z-index: 3;
    top: 0;
    height: 50px;
    padding: 10px 15px 0;
}

h2 {
    z-index: 2;
    top: 60px;
    height: 40px;
    padding: 0 25px;
}

div.label {
    z-index: 1;
    top: 100px;
    height: 40px;
    padding: 0 25px;
    box-shadow: 0 0 10px rgba(0,0,0,0.5);
}

pre {
    color: #e0e0e0;
    font-family: 'B612 Mono', monospace;
    padding: 0 25px 25px 25px;
}

@keyframes wiggle {
    0% { transform: rotate(0deg); }
    5% { transform: rotate(1deg); }
    15% { transform: rotate(-1deg); }
    20% { transform: rotate(0deg); }
    100% { transform: rotate(0deg); }
}