responsive; pygments css restore