.change_date{
color:green;
font-size: 8pt;
font-weight: bold;
}
.changed_text{
color:#000000;
font-size: 8pt;
}
.changed_text_preview{
color:brown;
font-size: 7pt;
font-weight: normal;
font-style: italic;
}
a,.changed_pagetitle a,.changed_pagetitle a:link{
	color: blue;
}
.changed_pagetitle a:hover,.changed_pagetitle a:active{
	color: red;
}
.menu{
	font-weight:normal
}