@charset "utf-8";
.kwd_hilighting { color:Red;}
.pagerHighlight { color:Red; font-weight:bold; }