| 1 |
export const NAVIGATION_ARROW_SIZE = 'navigation_arrow_size'; |
| 2 |
export const NAVIGATION_BOX_PADDING = 'navigation_box_padding'; |
| 3 |
export const NAVIGATION_BOX_MARGIN = 'navigation_box_margin'; |
| 4 |
export const NAVIGATION_BOX_BORDER = 'navigation_box_border'; |
| 5 |
export const NAVIGATION_ARROW_PADDING = 'navigation_arrow_padding'; |
| 6 |
export const NAVIGATION_ARROW_MARGIN = 'navigation_arrow_margin'; |
| 7 |
|
