/* same as Google's: http://jan.moesen.nu/code/html-css/google-highlighting/ */
span.searchword { color: #000; background-color: yellow; }	/* #ff6; */
span.searchword0 { color: #000; background-color: yellow; }
span.searchword1 { color: #000; background-color: #aff; }	/* lightblue */
span.searchword2 { color: #000; background-color: #9f9; }	/* lightgreen */
span.searchword3 { color: #000; background-color: #f99; }	/* lightbrown */
span.searchword4 { color: #000; background-color: #f6f; }	/* pink */
span.searchword5 { color: #fff; background-color: #800; }	/* brown */
span.searchword6 { color: #fff; background-color: #0a0; }	/* green */
span.searchword7 { color: #fff; background-color: #860; }	/* brownish? */
span.searchword8 { color: #fff; background-color: #049; }	/* navy blue */
span.searchword9 { color: #fff; background-color: #909; }	/* magenta */