aboutsummaryrefslogtreecommitdiff
path: root/website/style.css
AgeCommit message (Collapse)Author
2022-04-09website: Use Fira Code and Charter fonts.Arun Isaac
* Makefile (fonts): New variable. (website): Depend on website/fonts. (website/fonts): New target. (clean): Clean up website/fonts. * website/style.css (@font-face: Charter, @font-face: Fira Code Regular, @font-face: Fira Code SemiBold): New font faces. (body): Use 20px Charter font. (pre): Use 0.9em Fira Code font. (code, samp): Use 0.8em semi-bold Fira Code font.
2021-11-05website: Do not specify line-height on h1, h2 and h3.Arun Isaac
* website/style.css (h1, h2, h3): Delete line-height CSS property.
2021-10-04website: Upcase SVG in comment.Arun Isaac
* website/style.css (object): Upcase SVG in comment.
2021-07-05website: Highlight code snippets.Arun Isaac
* 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.
2021-06-28website: Constrain images within their containers.Arun Isaac
* website/style.css (img): Set max-width to 100%.
2021-06-19website: Set foreground color to black.Arun Isaac
We want a high contrast black text on white background. * website/style.css (body): Unset color property.
2021-06-19website: Italicize code symbols.Arun Isaac
* website/style.css (code): Italicize.
2021-06-19website: Add background color and padding to code snippets.Arun Isaac
* website/style.css (pre): Add background color and padding.
2021-06-19website: Move CSS into the website directory.Arun Isaac
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.