Circles change size now for texlinecrop.js