/* Dark styles have been moved into pygments.css! */