line.branch {
	stroke: #999999;
	stroke-width: 1;
}

circle.empty {
	fill: #ffff00;
	stroke: #999999;
	stroke-width: 1;
}

circle.composite {
	fill: #ffffff;
	stroke: #999999;
	stroke-width: 1;
}

circle.prime {
	fill: #00ff00;
	stroke: #999999;
	stroke-width: 1;
}

circle.selected {
	fill: #ffff00;
	stroke: #000000;
	stroke-width: 1;
}

circle.invalid {
	fill: #ff9999;
	stroke: #999999;
	stroke-width: 1;
}

text.value {
	font-family: "Lucida Grande", Verdana, Arial, Helvetica, sans-serif;
	font-size: 16px;
	text-anchor: middle;
	fill: #000000;
	cursor: default;
}

g.choice rect {
	fill: #00ff00;
}

g.choice text {
	font-family: "Lucida Grande", Verdana, Arial, Helvetica, sans-serif;
	font-size: 12px;
	text-anchor: middle;
	fill: #000000;
	cursor: default;
}