add the 'lang' attribute, and drop the mistaken "generator" thing
authorBenno Schulenberg <bensberg@telfort.nl>
Fri, 6 Dec 2019 11:54:21 +0000 (12:54 +0100)
committerBenno Schulenberg <bensberg@telfort.nl>
Fri, 6 Dec 2019 11:54:21 +0000 (12:54 +0100)
commitad48c4448f2084e2e32829db02f85376a627f376
treec78ed86a2fb569bb77915784f09282c55b61fb9d
parent36934144eb08d0db59161a77ee0bba1a88f5ae19
add the 'lang' attribute, and drop the mistaken "generator" thing

Also elide a <div> and tweak some padding whitespace.
top.php