issue 18
Use color names in css. Signed-off-by david.a.jencks@gmail.com
First draft for issue 18. I'll do my best with any modification requests.
- I didn't introduce functional names for the colors in highlight.css in case this file should remain unmodified from an original
- I didn't introduce color names for single-use colors for tips, warnings etc
- Most colors seem to be in a monochrome palette; my names for these might not be appropriate.