refined OpenGL's pixel format attribute