Thanks. It's plain JavaScript, rendering with an HTML canvas. I did investigate JS 2D graphics libraries but decided in the end that this was sufficiently simp

Thanks. It's plain JavaScript, rendering with an HTML canvas. I did investigate JS 2D graphics libraries but decided in the end that this was sufficiently simple to not warrant one. It was harder than I expected to get the drag & zoom to work!