.red
{
  color: #880000;
}

.orange
{
  color: #FF8E38;
}

.green
{
  color: #008800;
}

.blue
{
  color: #000088;
}

.gray
{
  color: #888888;
}

/* ------------------------------------------------------------------------------ */

/* here comes the css for the mini information on the main page */
/* about the number of downloads*/

div.signalissuesinfo
{
    border: 1px solid #0077bc;
    border-radius: 3px;
}
div.signalissuesinfo td {
	padding: 5px 10px;
	font-size:0.9em;
}