Bugfixes.

code/portal_detail_display.js

@@ -129,6 +129,9 @@ window.unselectOldPortal = function() {
   if(oldPortal) portalResetColor(oldPortal);
   selectedPortal = null;
   $('#portaldetails').html('');
-  if(isSmartphone()) $('.fullimg').remove();
+  if(isSmartphone()) {
+    $('.fullimg').remove();
+    $('#mobileinfo').html('');
+  }
   clearPortalIndicators();
 }

mobile/smartphone.css

@@ -20,7 +20,6 @@ body {
 
 #mobileinfo {
   float: left;
-  margin-right: 1em;
   max-width: 50%;
   text-overflow: ellipsis;
   white-space: nowrap;