2023.7

• Sphinx 7.1: fix compatibility (#137)
  Contributed by Pradyun Gedam
• Enable the slash keypress to focus the search field (#141)
  Contributed by Mike Fiedler
• Sphinx 6.2 fix: add nav.contents where div.topic is used (#138)
  Contributed by Hugo van Kemenade
• Dark mode: fix contrast for C++ specific styling (#133)
  Contributed by Hugo van Kemenade
• Don't let long code literals extend beyond the right side of the screen (#139)
  Contributed by Hugo van Kemenade
• Test with Python 3.12 (#140)
  Contributed by Hugo van Kemenade