Navigator.pane.margin
configurationThe margin of the pane. A numeric value will set all margins.
navigator.pane.margin
Number|ObjectDefault: 0
The bottom margin of the navigator pane.
Default: 0
The left margin of the navigator pane.
Default: 0
The right margin of the navigator pane.
Default: 0
The top margin of the navigator pane.
Default: 0