Nicola
13. April 2016 um 14:17
On 2016-04-13 11:53:51 +0000, Hans Hagen said:


Thanks, that works. Unfortunately, DejaVu Sans Mono looks too heavy in my document:
is there a light variant?

Also, can't the fallback mechanism be used?
Yes it can but you have to enable your custom typeface with \setupbodyfont which
wasn’t done in your example.

Wolfgang