practical-cl-beautified/css/highlight-style.css
2019-01-11 12:44:06 +01:00

163 lines
2.8 KiB
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;
}