html {
    height: 100%;
}

body {
    zoom: 125%; /* Firefox可能不支持。 */
    margin-top: 0;
    margin-bottom: 0;
    height: 100%;
    display: grid;
    grid-template-rows: 1fr auto;
}

.background_grey {
    background-color: lightgrey;
}

.hover_a:hover {
    background-color: lightgrey;
}

footer {
    padding-bottom: 5px;
}

footer a {
    text-decoration: none;
    color: grey;
    font-size: smaller;
}