Use Option+K as main hotkey for the search panel

[kschiffer]

Summary

This quickfix changes the default hotkey for the search panel to Option+K on mac and Ctrl+K on windows and linux.
Slash can still be used, but it has to be combined with the option key as well.

Changes

• Change default key to Option+K
• Some related styling fixes

Checklist

• Scope: The referenced issue is addressed, there are no unrelated changes.
• Compatibility: The changes are backwards compatible with existing API, storage, configuration and CLI, according to the compatibility commitments in README.md for the chosen target branch.
• Documentation: Relevant documentation is added or updated.
• Testing: The steps/process to test this feature are clearly explained including testing for regressions.
• Infrastructure: If infrastructural changes (e.g., new RPC, configuration) are needed, a separate issue is created in the infrastructural repositories.
• Changelog: Significant features, behavior changes, deprecations and fixes are added to CHANGELOG.md.
• Commits: Commit messages follow guidelines in CONTRIBUTING.md, there are no fixup commits left.