Fixes and style changes

These 3 patches contain 2 fixes to correctly mark extensions as done only for those drivers that actually support them (for example GL_EXT_transform_feedback is not supported by r300) and 1 patch that makes the highlighted row a little bit more visible.

Feel free to use all or only a subset of these directly or to only copy the code pieces you want and commit them on your own to your repository.