diff --git a/ivette/src/frama-c/plugins/dive/style.json b/ivette/src/frama-c/plugins/dive/style.json index b218be3b0e82e3aa05ea0ecc896477e3b622bd6f..266794108d81d298a2fee659aaabd08b56303ab7 100644 --- a/ivette/src/frama-c/plugins/dive/style.json +++ b/ivette/src/frama-c/plugins/dive/style.json @@ -74,27 +74,28 @@ } }, { - "selector": ".function", + "selector": ".function, .file", "style": { "shape": "rectangle", - "background-color": "#bbb", + "text-outline-width": 1, + "font-size": "11px", "background-opacity" : 0.4, "text-valign" : "top", "text-halign" : "center", - "padding" : "10px", + "padding" : "18px", "border-width": 1 } }, + { + "selector": ".function", + "style": { + "background-color": "#bbb" + } + }, { "selector": ".file", "style": { - "shape": "rectangle", - "background-color": "#ddd", - "background-opacity" : 0.4, - "text-valign" : "top", - "text-halign" : "center", - "padding" : "10px", - "border-width": 1 + "background-color": "#ddd" } }, {