docs: function vector_char(x,y,c) {
     c = c.charCodeAt(0);
     c -= 32;
     if(c<0||c>=95) return { width: 0, segments: [] };
  
     var off = c*112;
     var n = simplexFont[off++];
     var w = simplexFont[off++];
     var l = [];
     var segs = [];
     
     for(var i=0; i<n; i++) {
        var xp = simplexFont[off+i*2];
        var yp = simplexFont[off+i*2+1];
        if(xp==-1&&yp==-1) {
           segs.push(l); l = [];
        } else {
           l.push([xp+x,yp+y]);
        }
     }                
     if(l.length) segs.push(l);
     return { width: w, segments: segs };
  }