From 9af178978122388e356495fcd1577262070339f9 Mon Sep 17 00:00:00 2001
From: Sven Geboers <geboers.sven@gmail.com>
Date: Sat, 11 Feb 2023 14:12:31 +0100
Subject: [PATCH] circle size

---
 main.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/main.py b/main.py
index 60c50a0..5ec3219 100644
--- a/main.py
+++ b/main.py
@@ -72,7 +72,7 @@ my_hover=HoverTool()
 my_hover.tooltips=[('Type','@route_type_long'),('Route id','@route_short_name'),('Route','@route_long_name')]
 
 p.add_tools(my_hover)
-p.circle('x', 'y', source=Source, legend_field='route_type_long', color='color')
+p.circle('x', 'y', source=Source, legend_field='route_type_long', color='color', size=10)
 curdoc().add_root(p)
 curdoc().add_periodic_callback(update,5000)
 p.legend.location = "top_left"