From 346766f6f6e55059c9c77dde1838706cdd927c75 Mon Sep 17 00:00:00 2001 From: Tom Date: Mon, 31 Jul 2023 20:16:20 +0100 Subject: [PATCH] Change code mirror style to match jupyter --- _includes/klipse_scripts.html | 2 +- assets/klipse/codemirror.css | 26 ++++++++++++++++++++++++++ 2 files changed, 27 insertions(+), 1 deletion(-) diff --git a/_includes/klipse_scripts.html b/_includes/klipse_scripts.html index 51b6d31..891a914 100644 --- a/_includes/klipse_scripts.html +++ b/_includes/klipse_scripts.html @@ -7,7 +7,7 @@ window.klipse_settings = { selector_pyodide: '.language-klipse-python', // css selector for the html elements to be klipsified codemirror_options_in: { - theme: "neo", + theme: "jupyter", }, }; diff --git a/assets/klipse/codemirror.css b/assets/klipse/codemirror.css index 802d58f..3cca795 100644 --- a/assets/klipse/codemirror.css +++ b/assets/klipse/codemirror.css @@ -137,6 +137,32 @@ .cm-s-default .cm-error {color: #f00;} .cm-invalidchar {color: #f00;} +/* Jupyter theme for codemirror */ +.cm-s-jupyter .cm-keyword {color: #008000;} +.cm-s-jupyter .cm-atom {color: #88f;} +.cm-s-jupyter .cm-number {color: #080;} +.cm-s-jupyter .cm-def {color: #00f;} +.cm-s-jupyter .cm-variable {color: var(--md-grey-900);} +.cm-s-jupyter .cm-variable-2 {color: rgb(0, 54, 109);} +.cm-s-jupyter .cm-variable-3 {color: #085;} +.cm-s-jupyter .cm-punctuation {color: #05a;} +.cm-s-jupyter .cm-property {color: #05a;} +.cm-s-jupyter .cm-operator {color: #a2f;} +.cm-s-jupyter .cm-comment {color: #408080;} +.cm-s-jupyter .cm-string {color: #ba2121;} +.cm-s-jupyter .cm-string-2 {color: #708;} +.cm-s-jupyter .cm-meta {color: #a2f;} +.cm-s-jupyter .cm-qualifier {color: #555;} +.cm-s-jupyter .cm-builtin {color: #008000;} +.cm-s-jupyter .cm-bracket {color: #997;} +.cm-s-jupyter .cm-tag {color: #170;} +.cm-s-jupyter .cm-attribute {color: #00c;} +.cm-s-jupyter .cm-header {color: blue;} +.cm-s-jupyter .cm-quote {color: #090;} +.cm-s-jupyter .cm-link {color: #00c;} +.cm-s-jupyter .cm-error {color: #f00;} +.cm-s-jupyter .cm-hr {color: #999;} + /* neo theme for codemirror */ /* Color scheme */