client/js/defaults.js
changeset 156 83d7a10e1ad7
parent 155 7d5f722d76b2
child 159 1796e0220bef
--- a/client/js/defaults.js	Mon Apr 15 18:36:59 2013 +0200
+++ b/client/js/defaults.js	Tue Apr 16 17:31:00 2013 +0200
@@ -54,22 +54,16 @@
 	selected_node_stroke_width: 4,
 	node_fill_color: "#ffffff",
 	highlighted_node_fill_color: "#ffff00",
-	node_label_color: "#000000",
-	node_label_font_size: 10,
-	node_label_font: 'Helvetica, Arial, sans-serif',
 	node_label_distance: 5,
 		/* Vertical distance between node and label */
-	node_label_max_length: 40,
+	node_label_max_length: 60,
 		/* Maximum displayed text length */
 	
 	/* EDGE DISPLAY OPTIONS */
 	
 	edge_stroke_width: 2,
 	selected_edge_stroke_width: 4,
-	edge_label_color: "#000000",
-	edge_label_font_size: 9,
-	edge_label_font: 'Helvetica, Arial, sans-serif',
-	edge_label_distance: -3,
+	edge_label_distance: 0,
 	edge_label_max_length: 20,
     edge_arrow_length: 18,
     edge_arrow_width: 12,