use javascript highlighting