use triDots (quadDots is too slow, esp in js)