body {
    margin-left: 15%;
    margin-right: 15%;
    padding-left: 5%;
    padding-right: 5%;
    padding-bottom: 5%;
    background-color: lightblue;
    color: black;
    font-family: Arial;
}
hr {
    border: none;
    border-top: 1px solid #000;
    height: 0;
    clear: left;
}


a {
    color: white;
}
pre {
    background-color: black;
    color: white;
    width: fit-content;
    border-style: inset;
    font-family: monospace;
}
.keybind {
    background-color: purple;
    color: white;
    border-style: solid;
    border-color: black;    
}
.keybind-custom {
    background-color: yellow;
    color: white;
    border-style: dashed;
    border-color: black;
}

details {
    padding: 5px;
    background-color: lightgrey;
    border: 1px solid black;
}