Maintain edit this button style and version switcher#143

Merged

RobPasMue merged 5 commits intomainfrom maint/edit-this-button-style

Nov 7, 2022

+22-4

Commits on Oct 31, 2022

Add edit button
Revathyvenugopal162
committed

Commits on Nov 2, 2022

Add requirement sort pre-commit
Revathyvenugopal162
committed

Commits on Nov 3, 2022

Add styles for version switch hovering
Revathyvenugopal162
committed

Commits on Nov 4, 2022

Update doc/source/conf.py

Revathyvenugopal162
and
RobPasMue
authored

Commits on Nov 7, 2022

Merge branch 'main' into maint/edit-this-button-style
RobPasMue
authored