window-scroll-bar-height
window-scroll-bar-height is a built-in function in `C source code
'.
(window-scroll-bar-height &optional WINDOW)
Return the height in pixels of WINDOW's horizontal scrollbar.
WINDOW must be a live window and defaults to the selected one.