1 export const HEADER_HEIGHT = 56
2
3 export const HEADER_BAR = 10
4
5 export const FULL_HEADER_HEIGHT = HEADER_HEIGHT + HEADER_BAR
6
7 export const SCROLL_MARGIN_TOP = FULL_HEADER_HEIGHT + 24
8
9 export const SKIP_TO_CONTENT_ID = 'skip-to-content'
10
11 export const SKIP_TO_SEARCH_ID = 'search-box-input'
12
13 export const SKIP_TO_TOC_ID = 'toc-heading'
14
15 export const CLI_PATH = '/cli'
16
17 export const Z_INDEX = {
18 HEADER: 10,
19 SEARCH_OVERLAY: 25,
20 }