Add version switcher, favicon, and context-dependent logo

[nwlandry]

Fixes #584 and #585.

This PR

• Adds a favicon
• Creates a dark and light version of the logo
• Adds a version switcher

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 93.14%. Comparing base (bc9a30b) to head (3f65f20).
Report is 54 commits behind head on main.

Additional details and impacted files

@@           Coverage Diff           @@
##             main     #586   +/-   ##
=======================================
  Coverage   93.13%   93.14%           
=======================================
  Files          60       60           
  Lines        4503     4506    +3     
=======================================
+ Hits         4194     4197    +3     
  Misses        309      309           

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

[maximelucas]

Amazing Nich!! Favicon is a sweet plus.

Two things:

1. On my laptop the menu is now looking a bit strange because on two lines
2. the light theme logo doesn't have a margin anymore so it's stuck to the "new release" button (dark theme logo doesn't have that problem)

I'm not fully sure how to solve 1., I think we need to find a way to control the width of the 3 navbars/zones (left, middle, right)? Can the version switcher be made less wide by changing the default text from "choose version" to "vesion" or simply "stable" by default? The "search" box also takes a lot of space.

[nwlandry]

In response to the review I

• reverted the logo back
• adjusted the spacing in the navbar
• Added a call to the Github API to get the date of the latest release

I believe I addressed all your comments, @maximelucas!

[maximelucas]

Any way of having 5 and keeping the Gallery visible (not in dropdown)?

[nwlandry]

The issue was that I wanted everything on one line even when the user wasn't in full-screen, which is basically impossible unless the navbar is slimmed down. So I will keep it like it is for now, and then change it later if need be.

[maximelucas]

You're on fire, the automatic date retrieval is great!!
Two tiny comments but I'll let you choose, approving already.

[nwlandry]

Thanks for the review!