Copy boostbook.css from trunk - so that the site will get colours regardless.