/* GUI Language */

        /* GUI Container DOM element ID */

        /* List of Search Engines */

    bins: [],

           /* List of Bins */

    static_url: "",

        /* URL for static resources */

    show_bins: true,

        /* Show bins in left column */

    properties: [],

        /* Semantic properties for edges */

    read_only: false,

        /* Allows editing of renkan without changing the rest of the GUI. Can be switched on/off on the fly to block/enable editing */

    editor_mode: true,

        /* Switch for Publish/Edit GUI. If editor_mode is false, read_only will be true.  */

        /* In snapshot mode, clicking on the floppy will save a snapshot. Otherwise, it will show the connection status */

    show_top_bar: true,

        /* Show the top bar, (title, buttons, users) */

    default_user_color: "#303030",

    size_bug_fix: true,

        /* Resize the canvas after load (fixes a bug on iPad and FF Mac) */

    force_resize: false,

    allow_double_click: true,

        /* Allows Double Click to create a node on an empty background */

    element_delete_delay: 5000,

    /* MINI-MAP OPTIONS */

        /* Show a small map at the bottom right */

    buttons_background: "#202020",

    buttons_label_color: "#c000c0",

    buttons_label_font_size: 9,

    /* NODE DISPLAY OPTIONS */

        /* Show circles for nodes */

    clip_node_images: true,

        /* Constraint node images to circles */

    node_size_base: 25,

    node_stroke_width: 2,

    selected_node_stroke_width: 4,

    node_fill_color: "#ffffff",

    highlighted_node_fill_color: "#ffff00",

    node_label_distance: 5,

        /* Vertical distance between node and label */

    node_label_max_length: 60,

        /* Maximum displayed text length */

    label_untitled_nodes: "(untitled)",

        /* Label to display on untitled nodes */

    /* EDGE DISPLAY OPTIONS */

    edge_stroke_width: 2,

    selected_edge_stroke_width: 4,

    edge_label_distance: 0,

    edge_label_max_length: 20,

    label_untitled_edges: "",

    tooltip_width: 275,

    tooltip_padding: 10,

    tooltip_margin: 15,

    tooltip_top_color: "#f0f0f0",

    tooltip_bottom_color: "#d0d0d0",

    tooltip_border_color: "#808080",

    tooltip_border_width: 1

};