<style type="text/css">

html{
	font:12px Arial, Helvetica, sans-serif;
	color:#333;
	padding:0;
	margin:0;
}

ul.listmenu {
	margin: 0 0 5px 0;
	padding: 0 0 2px 0;
	list-style-type: none;
	width:170px;
}

.listmenu li a {
	color: #333;
	display: block;
	height: 16px;
	padding: 4px 0 4px 14px;
	text-decoration: none;
	font-weight:bold;
	background-color:#fff;
}

.listmenu li a:hover {
	background-color: #666;
	color:#fff;
}

ul.textboxlist {
	margin: 0 0 5px 0;
	padding: 0 0 2px 0;
	list-style-type: none;
	width:350px;
}

.textboxlist li {
	margin: 0 0 5px 0;
}

text.tooltip {
	/*stroke     : #111111; */
	font-family: "Veranda";
    font-size:20px;
	fill       : #111111;
}

.tooltip_bg{
	fill: white;
	stroke: black;
	stroke-width: 1;
	opacity: 0.85;
}

circle.originalNode {

	stroke-width:2;
	stroke: #006600;
	fill:   #00cc00;
 }
 
circle.highlightedNode {

	stroke-width:2;
	stroke: #006600;
	fill:   #FF0000;
 }
 
line.highlightedNode {

	stroke: #0000FF;
	stroke-width:3;
	fill:   #00ccFF;

 }

line.originalEdge {

	stroke: #000000;
	stroke-width:2;
	fill:   #00ccFF;

 }

</style>