Fix of font of Lua Documentation.
Fix hover tooltip width