practical-cl-beautified/css/highlight-style.css

/**
 * 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;
}