Answering my own question: \switchtobodyfont

On 23 Apr 2020, at 16:45, Gerben Wierda wrote:

I can directly colour a text in rgb by doing \colored[r=0.8,b=0.6,c=0.4]{Text}. Suppose I want to hard code a piece of text as 12.8pt, is there a simple way to do that directly like with \colored for colour?

G ___________________________________________________________________________________ If your question is of interest to others as well, please add an entry to the Wiki!

maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context webpage : http://www.pragma-ade.nl / http://context.aanhet.net archive : https://bitbucket.org/phg/context-mirror/commits/ wiki : http://contextgarden.net ___________________________________________________________________________________