885e701f0b
Sharpens the help dialogues edges by removing border-padding, which matches better with the rest of the document. Also increases somewhat the rounded edges of the key symbols to make it clear they are symbols. Also introduces closing apostrophes and ellipsis for search field placeholder.