Clicking on an option infobox now opens the related MySQL documentation page.
Add SELECT_BIG_RESULT and SELECT_SMALL_RESULT support
Fix infoboxes container width