Added stylus stylesheet and adapted web.js to process styl to css.