Margin between a side-docked vertical bar and its window edge (pspdf__vertical_toolbar_horizontal_margin).
pspdf__vertical_toolbar_horizontal_margin