body {
    background-color: #EEF;
}
header > * {
    vertical-align: middle;
    margin: 0.2rem;
}
header > h1 {
    margin: 0.2rem 0.5rem 0.2rem 0.5rem;
}
.picto.die {
    margin-left: 0.5rem;
    margin-right: 0.5rem;
}
h1 > a {
    text-decoration: none;
}
.implementation {
    overflow-x: auto;
}
.imports-and-code {
    margin-top: 0.5rem;
    display: inline-block;
    min-width: 30rem;
}
.imports pre {
    margin-top: 0;
    color: #777;
    border-radius: 0.5rem 0.5rem 0 0;
    padding-bottom: 0.5rem;
}
.code pre {
    margin-top: -0.3rem;
    border-radius: 0.5rem;
}
.external-links li {
    margin-right: 1rem;
}
.external-links a {
    text-decoration: none;
}
.summary-large,
.implementation {
    position: relative;
}
.summary-large .edit,
.implementation .edit {
    position: absolute;
    top: 2px;
    right: 4px;
}

@media (max-width: 479px) {
    .show-on-desktop, .show-on-tablets, .hide-on-mobile { display: none; }
}
@media (min-width: 480px) and (max-width: 979px) {
    .show-on-desktop, .hide-on-tablets, .show-on-mobile { display: none; }
}
@media (min-width: 980px) {
    .hide-on-desktop, .show-on-tablets, .show-on-mobile { display: none; }
}

footer {    
    width: 100%;
    display: flex;
    justify-content: space-between;
    align-items: center;
    color: white;
}
footer > * {
    vertical-align: middle;
}
footer a {
    color: white;
}
footer div {
    margin: 0.5rem 2rem 0.5rem 2rem;
}
footer .about-link {
    font-weight: bold;
    font-size: xx-large;
}
footer a.about-link {
    text-decoration: none;
}