graph drawing tool

slightly better default sizing of drawings

Created by  Kartik K. Agaram  on May 17, 2022
ICIIP4DBZEYFB6LITMFZ4BVGC4ZI6GONCSNXPBVEGXYXVCCZ53OAC
Change contents