--- 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,