.screen_hide {
  display: none;
}

.object_variable
{
	border-bottom: 1px #C0C0C0 dotted;
}

.object_variable:hover
{
	border-bottom: 1px black dotted;
}