Gu1 90bcb4d1b9 Update TODO, cosmetic changes to the map, add an empty API page 11 years ago
..
css 90bcb4d1b9 Update TODO, cosmetic changes to the map, add an empty API page 11 years ago
fonts fa524871b8 Switch to DejaVu fonts (with font-face), fix CSS sizes accordingly 11 years ago
img 6b4c0ea189 Add a new button on the map to find ISPs near a location 11 years ago
js 5b38e40706 Fix bbox/fitbounds to include the selection marker on the map 11 years ago