Luis Aleixo 4f6a967864 added way to determine size of tooltip		2023-06-12 15:19:06 +02:00
..
css	UI adjustments	2022-10-07 10:35:44 +02:00
icons	added favicon	2023-02-22 17:10:04 +01:00
images	updated folder's names and respective references	2022-09-09 16:57:20 +02:00
js	added way to determine size of tooltip	2023-06-12 15:19:06 +02:00