.profiler-results { z-index:10000; }

.red { color:#cc0000; }
.green { color:#080; }
.orange { color:#c95500; }

textarea.disabled {
  background-color:#f7f7f7;
  color:#666;
}
hr
{
	border:1px solid #999;
	border:0;
	color:#999;
	background-color:#999;
	height:1px;
}

.div-license-functions{
    height: 450px;
    width: 600px;
    overflow:scroll
}

.col1-3 th, .col1-3 td {
    max-width: 25px;
    overflow: hidden;
}