CSS changes
I modified background colors.
Yes, I know, it’s ugly, but:
- I am fed with using CSS grammars. Had I chosen, CSS would be an XML-based language, instead of a grammar.
- I was fed with “black font on white background”. It is not yet a rainbow, but it is easier to read, at least I feel it as less aggressive for the eyes.
- I did not want to enter deeper in the PHP source code at 11pm.
Therefore, I think I will not change anymore the stylesheet for a while.