/* Branchenverzeichnis */
#branchen_liste div.entry_name a
{
	font-size: 1.1em;
	font-weight: bold;
	text-decoration: none;
}

#branchen_liste div.entry
{
	margin-top: 0.5em;
	margin-bottom: 0.8em;
}

#branchen_liste div.filialen
{
	margin-left: 1.5em;
	margin-top: 0.5em;
}