graph drawing tool

slightly better default sizing of drawings

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