Set up quantinuum docs theme.

[aidanCQ]

Nav is rather sparse at the moment. Worth dicussing its utility in this project.

[hugrbot]

Hey there and thank you for opening this pull request! 👋🏼

We require pull request titles to follow the Conventional Commits specification
and it looks like your proposed title needs to be adjusted.

Your title should look like this. The scope field is optional.

<type>(<scope>): <description>

If the PR includes a breaking change, mark it with an exclamation mark:

<type>!: <description>

and include a "BREAKING CHANGE:" footer in the body of the pull request.

Details:

No release type found in pull request title "Set up quantinuum docs theme.". Add a prefix to indicate what kind of release this pull request corresponds to. For reference, see https://www.conventionalcommits.org/

Available types:
 - feat
 - fix
 - docs
 - style
 - refactor
 - perf
 - test
 - ci
 - chore
 - revert

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 87.15%. Comparing base (defd2bb) to head (ca42e3a).

Additional details and impacted files

@@            Coverage Diff             @@
##             main    #1267      +/-   ##
==========================================
- Coverage   87.15%   87.15%   -0.01%     
==========================================
  Files         103      103              
  Lines       19284    19282       -2     
  Branches    17136    17136              
==========================================
- Hits        16807    16805       -2     
  Misses       1699     1699              
  Partials      778      778              

Flag	Coverage Δ
python	91.28% <100.00%> (-0.01%)	⬇️

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[ss2165]

Nav is rather sparse at the moment.

Becomes more useful if you can get to other docs? (TKET1, guppy, tket2...?)

[aidanCQ]

Nav is rather sparse at the moment.

Becomes more useful if you can get to other docs? (TKET1, guppy, tket2...?)

If they are all in the same universe, so to speak, that could work