From aa52136b8a40cc6f3482bf16d2e0ab767be40feb Mon Sep 17 00:00:00 2001
From: Sander Spies <sandermail@gmail.com>
Date: Wed, 11 Dec 2019 14:48:20 +0100
Subject: [PATCH] Add ReasonLIGO specific css.
---
gitlab-pages/website/static/css/custom.css | 15 +++++++++++++++
1 file changed, 15 insertions(+)
diff --git a/gitlab-pages/website/static/css/custom.css b/gitlab-pages/website/static/css/custom.css
index b753ec486..db72d3906 100644
--- a/gitlab-pages/website/static/css/custom.css
+++ b/gitlab-pages/website/static/css/custom.css
@@ -939,3 +939,18 @@ a:hover {
width: 15em;
}
}
+
+
+/* ReasonLIGO specific syntax highlighting */
+.language-reasonligo .hljs-operator {
+ color: #a626a4;
+}
+.language-reasonligo .hljs-character {
+ color: #50a14f;
+}
+.language-reasonligo .hljs-module-identifier {
+ color: #4078f2;
+}
+.language-reasonligo .hljs-constructor {
+ color: #e45649;
+}
\ No newline at end of file