anchor.diff:  h1= title
   div#content
   div#map.mapBounds
  -form(name="subscribeForm")
  +form
     input(name="channel");
  -  input(type="button", value="subscribe", onClick="socket.emit('sub',document.forms[0].channel.value)")
  -  input(type="button", value="unsubscribe", onClick="socket.emit('unsub',document.forms[0].channel.value)")
  +  input(type="button", value="Subscribe", onClick="socket.emit('sub',document.forms[0].channel.value)")
  +  input(type="button", value="Unsubscribe", onClick="socket.emit('unsub',document.forms[0].channel.value)")
   
   script(type='text/javascript')
     var map;
     var markers = new Array();
     var colors = [ '#f00', '#00f', '#0f0' ];
     var bubble = null;
  +  var bubbleLoc = null;
   
     $(document).ready( function(){
       var opts = {
  
positive.code:     };
      map = new google.maps.Map( document.getElementById("map"), opts );
  
      if (navigator.geolocation != undefined)
        navigator.geolocation.watchPosition(positionUpdate, positionUpdateFail);
  
    });
  
    var socket = io.connect();
  
negative.code:       });
      }
      else {
        bubble.setPosition(bubbleLoc);
      }
    }
  
    function positionUpdateFail(e){
  