html export: note where the css colors came from

FossilOrigin-Name: 14bdad7b709a510f26a5d1d440b8551f58515609c22c9dbf12d20c7c5c103f5b
This commit is contained in:
crc 2020-02-21 20:15:55 +00:00
parent 8e599f214f
commit 5740debfae

View file

@ -350,6 +350,9 @@ reset
This concludes the Markdown (subset) in RETRO utility. All that's
left is the CSS.
For the colors, I'm mostly using the _Tomorrow Night_ colors as
listed at https://github.com/chriskempson/tomorrow-theme
## CSS
* {
@ -394,6 +397,6 @@ left is the CSS.
.store { color: #b294bb; }
.char { color: #81a2be; }
.inst { color: #de935f; }
.defer { color: #888; }
.defer { color: #888888; }
.imm { color: #de935f; }
.prim { color: #b5bd68; font-weight: bold; }