summaryrefslogtreecommitdiff
path: root/website/style.css
AgeCommit message (Expand)Author
2021-07-05website: Highlight code snippets.•••* website/style.css (code): Set background color to the same gray as pre code snippets. Pad 0.2 em on the left and the right. Arun Isaac
2021-06-28website: Constrain images within their containers.•••* website/style.css (img): Set max-width to 100%. Arun Isaac
2021-06-19website: Set foreground color to black.•••We want a high contrast black text on white background. * website/style.css (body): Unset color property. Arun Isaac
2021-06-19website: Italicize code symbols.•••* website/style.css (code): Italicize. Arun Isaac
2021-06-19website: Add background color and padding to code snippets.•••* website/style.css (pre): Add background color and padding. Arun Isaac
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