[Defaults] color.bsim.graph.vertex.default = color.palette.lightgray color.bsim.graph.edge.default = color.palette.black color.bsim.graph.vertex.selection = color.palette.gold color.bsim.graph.edge.selection = color.palette.gold color.bsim.graph.dataflow.vertex.base = color.palette.black color.bsim.graph.dataflow.vertex.base.2 = color.palette.darkgray color.bsim.graph.dataflow.vertex.pcode.op = color.palette.red color.bsim.graph.dataflow.vertex.varnode.collapsed = color.palette.lightskyblue color.bsim.graph.dataflow.vertex.pcode.op.collapsed = color.palette.lightskyblue color.bsim.graph.controlflow.vertex.base = color.palette.aliceblue color.bsim.graph.controlflow.vertex.parent = color.palette.lightgreen color.bsim.graph.controlflow.vertex.grandparent = color.palette.darkgreen color.bsim.graph.controlflow.vertex.child = color.palette.purple color.bsim.graph.controlflow.vertex.sibling = color.palette.blue color.bsim.graph.controlflow.vertex.neighbor = color.palette.cornsilk color.bsim.graph.edge.dataflow.in = color.palette.lemonchiffon color.bsim.graph.edge.dataflow.out = color.palette.saddlebrown color.bsim.graph.edge.dataflow.in.collapsed = color.palette.lightgray color.bsim.graph.edge.dataflow.out.collapsed = color.palette.darkgray color.bsim.graph.edge.controlflow.true = color.palette.green color.bsim.graph.edge.controlflow.false = color.palette.red [Dark Defaults] color.bsim.graph.dataflow.vertex.base = color.palette.darkgray color.bsim.graph.dataflow.vertex.base.2 = color.palette.gray color.bsim.graph.dataflow.vertex.pcode.op = #996600