Add GPX file download

style/_fa.scss

@@ -18,6 +18,9 @@ $fa-css-prefix: fa;
 	&.push {
 		margin-right: 0.5em;
 	}
+	&.push-left {
+		margin-left: 0.5em;
+	}
 }
 
 .control-icon {
@@ -40,6 +43,7 @@ $fa-css-prefix: fa;
 .#{$fa-css-prefix}-distance:before { content: fa-content($fa-var-arrow-circle-right); }
 .#{$fa-css-prefix}-elev-drop:before { content: fa-content($fa-var-arrow-circle-down); }
 .#{$fa-css-prefix}-elev-gain:before { content: fa-content($fa-var-arrow-circle-up); }
+.#{$fa-css-prefix}-download:before { content: fa-content($fa-var-file-download);  }
 
 /* Feed */
 .#{$fa-css-prefix}-post:before { content: fa-content($fa-var-comment); }

style/_mask_project.scss

@@ -106,6 +106,14 @@ $legend-color: #222;
 		&.leaflet-control-layers-expanded {
 			color: $legend-color;
 			width: calc(100% - 2em - 16px);
+			
+			a.fa-download {
+				color: $legend-color;
+				
+				&:hover {
+					color: #0078A8;
+				}
+			}
 		}
 	
 		&.leaflet-control-scale {