html {
    height: 100%;
}

body,
.gritty {
    height: 100%;
    margin: 0;
}

.terminal {
    height: 100%;
}