Match "DONE (0 binary formats)" as "DONE" for GL_ARB_get_program_binary

GL_ARB_get_program_binary has a hint in the parenthesis which
is not a list of dirvers that support the extension.
Mark all extensions as done for all drivers, if the hint
is not a list of drivers.

Signed-off-by: Tobias Droste <tdroste@gmx.de>
Make line hovering more visible

Make the border of the currently highlighted line a little bit wider,
to make it more visible.

Signed-off-by: Tobias Droste <tdroste@gmx.de>