Completed lean index.jade