/** * Inspired by github's default code highlighting */ pre code.hl-highlighted { max-width: 900px; white-space: pre; margin: 0; padding: 0; background: none; border: none; overflow-x: auto; font-size: 15px; } code.hl-highlighted { margin: 0 2px; padding: 0 5px; white-space: nowrap; font-family: "Fira Code", Consolas, "Liberation Mono", Courier, monospace; background: #f8f8f8; border: 1px solid #eaeaea; border-radius: 3px; } code.hl-highlighted { color: #008080; } code.hl-highlighted .function { color: #008080; } code.hl-highlighted .function.known { color: #800603; } code.hl-highlighted .function.known.special { color: #2d2d2d; font-weight: bold; } code.hl-highlighted .keyword { color: #990073; } code.hl-highlighted .keyword.known { color: #990073; } code.hl-highlighted .symbol { color: #75a; } code.hl-highlighted .lambda-list { color: #966; } code.hl-highlighted .number { color: #800; } code.hl-highlighted .variable.known { color: #c3c; } code.hl-highlighted .variable.global { color: #939; } code.hl-highlighted .variable.constant { color: #229; } code.hl-highlighted .nil { color: #f00; } code.hl-highlighted .list { color: #222; } code.hl-highlighted .string, code.hl-highlighted .string * { color: #d14 !important; } code.hl-highlighted .comment, code.hl-highlighted .comment *, code.hl-highlighted .comment .string code.hl-highlighted .comment .string * { color: #777777 !important; } code.hl-highlighted .string .comment { color: #d14 !important; } code.hl-highlighted .list.active { display: inline-block; background: #aefff7; } /* Table of Contents */ .toc { position: fixed; left: 3em; top: 5em; padding: 1em; width: 14em; line-height: 2; font-size: 14px; } .toc li a { text-decoration: none; } .toc { overflow-y: auto } .toc>.toc-list { overflow: hidden; position: relative } .toc>.toc-list li { list-style: none; padding-left: 1em; text-indent: -1em; } .toc-list { margin: 0; padding-left: 10px } a.toc-link { color: currentColor; height: 100% } .is-collapsible { max-height: 1000px; overflow: hidden; transition: all 300ms ease-in-out } .is-collapsed { max-height: 0 } .is-position-fixed { position: fixed !important; top: 0 } .is-active-link { font-weight: 700 } .toc-link::before { background-color: #EEE; content: ' '; display: inline-block; height: inherit; left: 0; margin-top: -1px; position: absolute; width: 2px } .is-active-link::before { background-color: black } @media (max-width: 80em) { .toc { display: none; } } body { counter-reset: chapter; } h2::before { counter-increment: chapter; /* Increment the value of section counter by 1 */ content: counters(chapter, '.') ' '; /* Display the value of section counter */ } .tippy-tooltip.pcl-theme { background: white; color: black; border: solid black; }