All this should go into `bokehjs/src/less`.