Match "DONE ()" as done for "all DONE" drivers

Before this "DONE ()" would incorrectly mark the extension as
done for all drivers instead of the drivers in the"all DONE"
driver list.

Signed-off-by: Tobias Droste <tdroste@gmx.de>
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 it as done for all 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>