Allow to customize pydoc window height, with a float value a percentage of the current window is used