add syntax highlighting to code blocks

1 files changed, 167 insertions, 0 deletions

diff --git a/docs/syntax.css b/docs/syntax.css
new file mode 100644
index 0000000..fbfb6fe
--- /dev/null
+++ b/docs/syntax.css
@@ -0,0 +1,167 @@
+code {
+  white-space: pre-wrap;
+}
+
+span.smallcaps {
+  font-variant: small-caps;
+}
+
+span.underline {
+  text-decoration: underline;
+}
+
+div.column {
+  display: inline-block;
+  vertical-align: top;
+  width: 50%;
+}
+
+div.hanging-indent {
+  margin-left: 1.5em;
+  text-indent: -1.5em;
+}
+
+ul.task-list {
+  list-style: none;
+}
+
+pre > code.sourceCode {
+  white-space: pre;
+  position: relative;
+}
+
+pre > code.sourceCode > span {
+  display: inline-block;
+  line-height: 1.25;
+}
+
+pre > code.sourceCode > span:empty {
+  height: 1.2em;
+}
+
+code.sourceCode > span {
+  color: inherit;
+  text-decoration: inherit;
+}
+
+div.sourceCode {
+  margin: 1em 0;
+}
+
+pre.sourceCode {
+  margin: 0;
+}
+
+@media screen {
+  div.sourceCode {
+    overflow: auto;
+  }
+}
+
+@media print {
+  pre > code.sourceCode {
+    white-space: pre-wrap;
+  }
+  pre > code.sourceCode > span {
+    text-indent: -5em;
+    padding-left: 5em;
+  }
+}
+
+pre.numberSource code {
+  counter-reset: source-line 0;
+}
+
+pre.numberSource code > span {
+  position: relative;
+  left: -4em;
+  counter-increment: source-line;
+}
+
+pre.numberSource code > span > a:first-child::before {
+  content: counter(source-line);
+  position: relative;
+  left: -1em;
+  text-align: right;
+  vertical-align: baseline;
+  border: none;
+  display: inline-block;
+  -webkit-touch-callout: none;
+  -webkit-user-select: none;
+  -khtml-user-select: none;
+  -moz-user-select: none;
+  -ms-user-select: none;
+  user-select: none;
+  padding: 0 4px;
+  width: 4em;
+}
+
+pre.numberSource {
+  margin-left: 3em;
+  padding-left: 4px;
+}
+
+div.sourceCode {
+}
+
+@media screen {
+  pre > code.sourceCode > span > a:first-child::before {
+    text-decoration: underline;
+  }
+}
+
+code span.al {
+  font-weight: bold;
+}
+
+code span.an {
+  font-style: italic;
+}
+
+code span.cf {
+  font-weight: bold;
+}
+
+code span.co {
+  font-style: italic;
+}
+
+code span.cv {
+  font-style: italic;
+}
+
+code span.do {
+  font-style: italic;
+}
+
+code span.dt {
+  text-decoration: underline;
+}
+
+code span.er {
+  font-weight: bold;
+}
+
+code span.in {
+  font-style: italic;
+}
+
+code span.kw {
+  font-weight: bold;
+}
+
+code span.pp {
+  font-weight: bold;
+}
+
+code span.wa {
+  font-style: italic;
+}
+
+code span.st {
+  color: var(--cyan);
+}
+
+code span.at {
+  color: var(--pink);
+}