/* --- special formats for news
  xml need plain tag-names
  html divs need #idnames
  ---- */

header,  .header {margin-top: 10px;}

htitle, .htitle {
	margin-top: 10px;
	padding-top: 10px;
}

htitletext,  .htitletext  { font-size: 15px;
	font-weight: bold;
	margin-right: 10px;
	display: inline;
}


date,  .date { font-size: 13px;
	font-weight: normal;
	color: rgb(72, 119, 205);
	display: inline;
}


teaser,  .teaser {
	font-size: 13px;
	text-align:left;
	margin-top: 15px;
	padding-bottom: 15px;
/* 	border-bottom: solid 1px rgb(72, 119, 205);	 */
}

#main .icon {
margin-right: 10px;
margin-bottom: 5px;
}
#main .image {
margin-right: 10px;
margin-bottom: 5px;
}

#pagetools a { color: rgb(72, 119, 205); }

city,  .city { color: rgb(72, 119, 205);
	font-size: 13px;
	font-weight: normal;
	margin-right: 5px;
	text-transform: uppercase;
	display: inline;
}


text,  .text  { font-size: 13px;
	font-weight: normal;
	margin-top: 10px;
	text-align:left;
}



title,  .title { font-size: 14px;
	font-weight: bold;
	padding-top: 10px;
}

para,  .para { font-size: 13px;
	font-weight: normal;
	display: inline;
}

sup, .sup { font-size: 9px;padding-right: 4px; padding-left: 0px;
}

note,  .note  { font-size: 11px;
	padding-top: 10px;
/* 	font-weight: bold; */
}

source,  .source  { font-size: 11px;
	font-weight: bold;
}

#main i { font-style: normal; padding-right: 4px;
}

.para a { color: rgb(72, 119, 205);
 padding-right: 4px;
}
.note a { color: rgb(72, 119, 205);
 padding-right: 4px;
}
.source a { color: rgb(72, 119, 205);
 padding-right: 4px;
}
.hl {	color: red;}