remove prettify from demos--not even including js library anyway