Is `$footer-height` needed? (I can't see it in use anywhere)