.Tool
{
	display: inline;
}

.Tool:hover .Tip
{
	visibility: visible;
	transition-delay: 1.5s;
}

.Tip
{
	visibility: hidden;
	position: fixed; /* coordinates are aligned to .Tool position dynamically by script code */
	z-index: 1; /* would not be in foreground of all elements otherwise */
	max-width: 25em;
	/* overrides of parent settings */
	text-align: left;
	line-height: normal;
	white-space: normal; 
  background-color: rgb(64,64,64);
  color: white;
  padding: 5px;
	padding-bottom: 7px;
  padding-left: 7px;
  border-radius: 5px;
	font-family: Verdana;
	font-size: 10px;
	font-weight: normal;
}

.Tip ul
{
	margin-top: 0.5em;
	margin-bottom: 0.5em;
	padding-left: 2em;
}

.Tip footer
{
	margin-top: 1em;
	border-top: 1px dotted;
	font-style: italic;
}