diff --git a/code/request_handling.js b/code/request_handling.js index f3582e77..e7ac50b8 100644 --- a/code/request_handling.js +++ b/code/request_handling.js @@ -39,15 +39,15 @@ window.requests.abort = function() { // to website. Updates info in layer chooser. window.renderUpdateStatus = function() { - var t = '
portals: '; + var t = '
portals: '; var minlvl = getMinPortalLevel(); if(minlvl === 0) t += 'all'; else - t+= 'L'+minlvl+'+'; + t+= 'L'+minlvl+(minlvl<8?'+':''); t +=''; - t += ' map: '; + t += ' map: '; if(mapRunsUserAction) t += 'paused 0) - t += ' ' + window.failedRequestCount + ' failed.' + t += ' ' + window.failedRequestCount + ' failed' + + t += '
'; - t += '
'; var portalSelection = $('.leaflet-control-layers-overlays label'); portalSelection.slice(0, minlvl+1).addClass('disabled').attr('title', 'Zoom in to show those.'); portalSelection.slice(minlvl, 8).removeClass('disabled').attr('title', ''); diff --git a/style.css b/style.css index 8ee507a2..25752ca6 100644 --- a/style.css +++ b/style.css @@ -684,6 +684,10 @@ h3 { box-sizing: border-box; } +#updatestatus .map { + margin-left: 8px; +} + /* Dialogs */ .ui-tooltip, .ui-dialog {