{{-- Le fondu du planning quand on change de jour, de semaine ou de mois
(js/plannings/navigation.js) : la grille s'estompe au depart, et celle de
la page d'arrivee apparait en fondu.
Fait a la main, en deux moitiés, et non par les « view transitions » du
navigateur, essayees d'abord : il y renonce des que la page d'arrivee met
plus de quatre secondes a venir, donc presque toujours avec l'api locale —
le fondu ne se voyait qu'une fois sur dix. Celui-ci ne depend pas du
temps de reponse, et marche dans tous les navigateurs.
Dans le : la grille doit etre cachee avant le premier affichage
(`planning-attend`), sinon elle apparait d'un coup puis se remet a
fondre. navigation.js la revele (`planning-arrive`) une fois la page
entierement construite.
`planning.navigation` est la note laissee au depart par navigation.js ;
elle n'existe que si l'on arrive par une fleche, le clavier ou le doigt —
une ouverture ordinaire du planning ne fond pas.
L'opacite seule, sans deplacement : jour-actuel.js mesure la grille au
chargement, pendant que le fondu joue, et un glissement fausserait ses
mesures. Rien pour qui a demande moins d'animations. --}}
@push('head')
@endpush