A lighter display oriented pygments theme