switched to pygments because github is using it, changed css to accomodate the pygment-switch