| Age | Commit message (Collapse) | Author |
|---|
|
We want a high contrast black text on white background.
* website/style.css (body): Unset color property.
|
|
* website/style.css (code): Italicize.
|
|
* website/style.css (pre): Add background color and padding.
|
|
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.
|
