Switches all Haddock docs on Hackage to an updated, Retina-friendly edition of the old ocean.css for superior information density.
Version au 13/11/2021. Voir la dernière version.
Voici les versions de ce script où le code a été modifié. Voir toutes les versions.
Fixed attribution
Replaced bitmaps with some nice SVGs and tightened up the activation conditions.
spaces -> tabs for real this time
whoops, spaces -> tabs
