Reverted footer height change in 8087ba95fcb9558e7f7b4d2fe21f6bda79d3eafa, because height info is also needed in JavaScript and thus is different now.