Some frontend cleanup

Finally opening another pull request after some time. This fixes:

- Behaviour and style issues regarding the toolbar menu
- Correct style for the clipboard element
- Fixes #3413 
- Fixes #3316