In order to download and use these styles, you need to install Stylus first.
Here is a link to each of the extensions, as well as the GitHub project.
I would prefer that you get the styles from UserStyles when you can, as it provides me with analytics about how often it's been downloaded and the like, but if the site is down, the direct method is still available to you.