Prettyprint-Style überarbeitet

[website] / src / main / webapp / less / print / prettify.less

diff --git a/src/main/webapp/less/print/prettify.less b/src/main/webapp/less/print/prettify.less
new file mode 100644 (file)
index 0000000..0ed8c47
--- /dev/null
+++ b/src/main/webapp/less/print/prettify.less
@@ -0,0 +1,11 @@
+/* Pretty printing styles. Used with prettify.js. */
+pre .str, code .str { color: #060; }
+pre .kwd, code .kwd { color: #006; font-weight: bold; }
+pre .com, code .com { color: #600; font-style: italic; }
+pre .typ, code .typ { color: #404; font-weight: bold; }
+pre .lit, code .lit { color: #044; }
+pre .pun, code .pun { color: #440; }
+pre .pln, code .pln { color: #000; }
+pre .tag, code .tag { color: #006; font-weight: bold; }
+pre .atn, code .atn { color: #404; }
+pre .atv, code .atv { color: #060; }