Use light color for doc navbar
Update to new isl (eliminates isl_int), better support for Id