From da6f885a24c0ad4de44f3b6f64a1b7882f4892a7 Mon Sep 17 00:00:00 2001
From: sbosse <sbosse@uni-bremen.de>
Date: Mon, 21 Jul 2025 22:50:10 +0200
Subject: [PATCH] Mon 21 Jul 22:43:21 CEST 2025

---
 js/dos/ext/vis/docs/css/prettify.css | 87 ++++++++++++++++++++++++++++
 1 file changed, 87 insertions(+)
 create mode 100644 js/dos/ext/vis/docs/css/prettify.css

diff --git a/js/dos/ext/vis/docs/css/prettify.css b/js/dos/ext/vis/docs/css/prettify.css
new file mode 100644
index 0000000..fe5613c
--- /dev/null
+++ b/js/dos/ext/vis/docs/css/prettify.css
@@ -0,0 +1,87 @@
+.com {
+  color: gray;
+}
+
+.lit {
+  color: red;
+}
+
+.pun {
+  color: gray;
+}
+
+.pln {
+  color: #333333;
+}
+
+pre.prettyprint {
+  border: 1px solid lightgray;
+  background-color: #fcfcfc;
+  padding: 5px;
+
+  font-size: 10pt;
+  line-height: 1.5em;
+  font-family: monospace;
+}
+
+ol.linenums {
+  margin-top:0;
+  margin-bottom:0;
+}
+
+li.L0,li.L1,li.L2,li.L3,li.L5,li.L6,li.L7,li.L8 {
+  list-style:none;
+}
+
+li.L1,li.L3,li.L5,li.L7,li.L9 {
+  background:#eee;
+}
+
+.str,.atv {
+  color: green;
+}
+
+.kwd,.tag {
+  color:#2B7CE9;
+}
+
+.typ,.atn,.dec {
+  color: darkorange;
+}
+
+@media print {
+  .com {
+    color:#600;
+    font-style:italic;
+  }
+
+  .typ {
+    color:#404;
+    font-weight:700;
+  }
+
+  .lit {
+    color:#044;
+  }
+
+  .pun {
+    color:#440;
+  }
+
+  .pln {
+    color:#000;
+  }
+
+  .atn {
+    color:#404;
+  }
+
+  .str,.atv {
+    color:#060;
+  }
+
+  .kwd,.tag {
+    color:#006;
+    font-weight:700;
+  }
+}
\ No newline at end of file