﻿span.Operations
{
	visibility:hidden; /*Hidden so that the space is still reserved for it in the layout.*/
	font-weight: bold;
	font-size: 10pt;
    vertical-align:top;
}

div.TreeNode
{
	font-size:8pt;
	color: Black;
	padding: 1px 2px 1px 2px;
	margin: 1px 1px 1px 1px; /*Need a margin to reserve space for the hover border.*/	
    white-space:normal;
    vertical-align:top;
}

a.Title
{
	text-decoration: none;
    vertical-align:top;
}

div.RootNode > .Title
{
	font-size: 10pt;
	font-weight: bold;
    vertical-align:top;
}

div.Hover span.Operations
{
	visibility:visible;
}

span.Operations a
{
	text-decoration:none;
	margin-left: 1em;
    vertical-align:top;
}

div.Hover
{
	margin: 0 0 0 0; /*Remove the margin, and replace it with a border.*/
	border: solid 1px #3333FF;
	background-color: #EEEEEE;
    vertical-align:top;
}

div.SelectedNode .Title
{
	font-style:italic;
	background-color:Yellow;
    vertical-align:top;
}
