- let isHighlightShrink if (theme.highlight_shrink == 'none') isHighlightShrink = 'undefined' else if (page.highlight_shrink === true || page.highlight_shrink === false) isHighlightShrink = page.highlight_shrink else isHighlightShrink = theme.highlight_shrink var pageToc = page.toc === true || page.toc === false ? page.toc : theme.toc.enable var showToc = is_post() && theme.aside.enable && pageToc && (toc(page.content) !== '' || page.encrypt == true ) - script#config-diff. var GLOBAL_CONFIG_SITE = { title: '!{pageTitle}', isPost: !{is_post()}, isHome: !{is_home()}, isHighlightShrink: !{isHighlightShrink}, isToc: !{showToc}, postUpdate: '!{full_date(page.updated)}' }