De-inline CSS for the 'open file' button

Supersedes #4000.