summaryrefslogtreecommitdiff
path: root/website/style.css
AgeCommit message (Collapse)Author
2022-03-20website: Use Charter as main body font.Arun Isaac
* Makefile (fonts): New variable. (website/fonts): New target. (website): Depend on website/fonts. (clean): Clean website/fonts. * website/style.css (@font-face: Charter): New font face. (body): Set font-family to Charter. Set font-size to 20px. * .gitignore: Add website/fonts.
2022-02-28website: Use reduced font size to indicate code and samp.Arun Isaac
Use a slightly reduced font size instead of background color to indicate code. This is the style used by the skribilo documentation, and is much less in your face. * website/style.css (code): Unset background-color, padding-left and padding-right. (code, samp): Set font-size to 0.8em.
2022-01-08website: Add website.Arun Isaac
* Makefile, build-aux/build-home-page.el, website/style.css: New files.