web/style: Add a comment in the generated css file for the doc in the main repo