summaryrefslogtreecommitdiff
path: root/style.css
AgeCommit message (Expand)Author
2021-06-19website: Move CSS into the website directory.•••That way, there is no need to copy it when building the website. * Makefile.am (website/style.css): Delete target. (website): Do not depend on the website/style.css target. (clean-local): Clean up only website/index.html and website/manual/dev/en, not the entire website directory. * style.css: Move to website/style.css. Arun Isaac
2021-06-15website: Make SVG badges clickable.•••* style.css (object): Set pointer-events to none. Arun Isaac
2021-05-24Add CSS to website.•••* Makefile.am (website/style.css): New target. (website): Require website/style.css. * style.css: New file. Arun Isaac