Bump themes/hextra from 1358c5b to 80fae9f (#28)

Bumps [themes/hextra](https://github.com/imfing/hextra) from `1358c5b` to `80fae9f`.
- [Release notes](https://github.com/imfing/hextra/releases)
- [Commits](imfing/hextra@1358c5b...80fae9f)

---
updated-dependencies:
- dependency-name: themes/hextra
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>