Small devhelp fixes and restore outline for open pages close button

See commit messages for details.

I removed the .flat style class because it was useless, as the full no background/border/shadow was already set in the CSS.