Smaller coord font size

Only scales well at half size, other fractions don't work so well.
Might need to make this configurable if some people don't like the
smaller font.

map/MapRenderer.java

@@ -166,8 +166,12 @@ public static void paintChunk(MapMode mapMode, MapView mapView, IMwChunkOverlay
 	public static void drawCoords(Mw mw, MapMode mapMode) {
 		// draw coordinates
 		if (mw.coordsEnabled && mapMode.coordsEnabled) {
-			Render.drawCentredString(mapMode.textX, mapMode.textY, mapMode.textColour,
+			GL11.glPushMatrix();
+			GL11.glTranslatef(mapMode.textX, mapMode.textY, 0);
+			GL11.glScalef(0.5f, 0.5f, 1.0f);
+			Render.drawCentredString(0, 0, mapMode.textColour,
 					"%d, %d, %d", mw.playerXInt, mw.playerYInt, mw.playerZInt);
+			GL11.glPopMatrix();
 		}
 	}