Distributed TOE images use DejaVu Sans Bold font.