Don't edit the css/*.css files directly, they are generated.

Instead edit less/*.less and generate the css with lessc vavr.less > ../css/vavr.css.

Less can be obtained via npm install -g less.