anchor.diff:  
   import 'package:risk/communication/server.dart';
   import 'package:risk/communication/messages.dart';
  +
  +const num MAP_MARGIN = 30;
  +const num MAP_PADDING = 20;
   
   final RegExp regexp_stroke = new RegExp('stroke:(#[a-f0-9]{6})');
   World world;
  
positive.code:     ctx.restore();
    });
  
    map.setAttribute('title', '');
    world.continents.forEach((Continent continent) {
      continent.countries.forEach((Country country) {
        // Don't show connected countries -> regular mouseover!
        if(highlightedCountry == null) {
          if(country.isMouseOver) {
            map.setAttribute('title', country.name);
            ctx.fillStyle = 'red';
          } else {
            ctx.fillStyle = country.color;
  
negative.code: 
    // Outline
    ctx.save();
    ctx.lineWidth = 5;
    ctx.setLineDash([35]);
    ctx.beginPath();
    ctx.rect(-MAP_PADDING,-MAP_PADDING,world.dimension.width+2*MAP_PADDING,world.dimension.height+2*MAP_PADDING);
    ctx.closePath();
    ctx.stroke();
  
    ctx.restore();
  
    world.connectors.forEach((Connector connector) {
  