diff options
author | Hans Hagen <pragma@wxs.nl> | 2019-10-04 18:59:44 +0200 |
---|---|---|
committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2019-10-04 18:59:44 +0200 |
commit | 6f2d249bfb4ead58ed709e59c403df9457f51982 (patch) | |
tree | 36f93bbacf4a42ab52b0440dba42d4ac65e86b0b /doc/context/sources/general/manuals/luametafun/luametafun-style.tex | |
parent | 6ab4432f6fe56cc63e53aeb256c89f01a04fb84f (diff) | |
download | context-6f2d249bfb4ead58ed709e59c403df9457f51982.tar.gz |
2019-10-04 17:52:00
Diffstat (limited to 'doc/context/sources/general/manuals/luametafun/luametafun-style.tex')
-rw-r--r-- | doc/context/sources/general/manuals/luametafun/luametafun-style.tex | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/doc/context/sources/general/manuals/luametafun/luametafun-style.tex b/doc/context/sources/general/manuals/luametafun/luametafun-style.tex index df469d0c0..63eb7e375 100644 --- a/doc/context/sources/general/manuals/luametafun/luametafun-style.tex +++ b/doc/context/sources/general/manuals/luametafun/luametafun-style.tex @@ -52,4 +52,13 @@ [before=, after=] +% sectionblocks keep things local and we need these colors very late, +% when we flush fonts + +\definecolor[KindergartenEqual] [darkgreen] +\definecolor[KindergartenPlus] [darkred] +\definecolor[KindergartenMinus] [darkred] +\definecolor[KindergartenTimes] [darkblue] +\definecolor[KindergartenDivided][darkblue] + \stopenvironment |