a.category_red {
	color: red;
	font-size: 1.1em;
	font-weight: bold;
	cursor: pointer;
}

a.pointer {
	cursor: pointer;
}

a.cat-active {
	color: red;
	font-size: 1.1em;
	font-weight: bold;
	cursor: pointer;
}

a.cat-inactive {
	font-size: 1em;
	cursor: pointer;
	font-weight: normal;
}

div.div-version {
	padding-top: 6px;
	text-align: center;
}

span.span-version {
	font-size: 1.05em;
}

span.close {
	margin-left: 20px;
}