/*
.pink {
	background-color: #ffc0cb;
}

div.borderized {
	border-style: solid;
	border-radius: 5px;
	padding: 5px;
	padding-right: 20px;
}

div.tnmenu {
	float: right;
	margin-right: 0px;
}


div.parent {
	border-width: 2px;
}

div.children {
	border-width: 1px;
}

div.node_type {
	background-color: #d4d4d4;
}

.hidden-tn {
	display: none;
}

/*test*/
h1 {
	color: chartreuse;
}