Compare commits

..

No commits in common. "d77defe68e7addf9ad9058fa1923779d128e83b3" and "77489ca4ab16a3080634eae3f8d6bf69def0edae" have entirely different histories.

2 changed files with 3 additions and 4 deletions

View File

@ -1669,8 +1669,7 @@ function escapeHtml(unsafe) {
var languagekeywords = { var languagekeywords = {
"sql": ["select", "from", "where", "and", "or", "set", "declare"], "sql": ["select", "from", "where", "and", "or", "set", "declare"],
"js": ["var", "for", "if", "else"], "js": ["var", "for", "if", "else"],
"zsh": ["sudo"], "zsh": ["sudo"]
"python": ["molecule"]
} }
function currentline() function currentline()

View File

@ -168,8 +168,8 @@ body::-webkit-scrollbar-thumb {
/* colors */ /* colors */
.color-code { .color-code {
color:var(--black); color:lightgray;
background-color:lightgrey; background-color:var(--black);
} }
.color-heading-mark { .color-heading-mark {