Minor post fixes; pygments CSS