Some work on addressing HiDPI-related issue in our graph panel (#237).