Migrate to sphinx-design

sphinx-design is an iteration on sphinx-panels and intends to replace it. It offers more interesting web components like cards which we will be happy to use for the landing page.

Migration tips are available at: https://sphinx-design.readthedocs.io/en/rtd-theme/get_started.html#migrating-from-sphinx-panels

---

Migrated from D8887 (view on Phabricator)

Build is green

Patch application report for D8887 (id=32038)

Rebasing onto a7368353...

Current branch diff-target is up to date.

Changes applied before test

commit efc955759316cc7adfd39f8c78c4c97825916ace
Author: Jérémy Bobbio (Lunar) <lunar@softwareheritage.org>
Date:   Mon Nov 28 12:08:19 2022 +0100

    Migrate to sphinx-design
    
    sphinx-design is an iteration on sphinx-panels and intends to replace
    it. It offers more interesting web components like cards which we will
    be happy to use for the landing page.
    
    Migration tips are available at:
    https://sphinx-design.readthedocs.io/en/rtd-theme/get_started.html#migrating-from-sphinx-panels

See https://jenkins.softwareheritage.org/job/DDOC/job/build-on-diff/275/ for more details.

ooh, I should use this on https://docs.softwareheritage.org/devel/swh-graph/grpc-api.html too

Merge request was accepted

approved this merge request

Merge request was merged

closed