Removed pygments.less

Not really required at this moment, I might re-add it if I need it later
on