> 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