height property

double? height
getter/setter pair

The pixel height of the map navigation buttons.

API Docs: https://api.highcharts.com/highcharts/mapNavigation.buttonOptions.height

Implementation

double? height;