new non-highlight color (i hope)

master
Jay 2 years ago
parent 36e4569c3f
commit 6fbe04cf61

@ -77,7 +77,7 @@ textarea { vertical-align: top; }
.lineno { color: var(--code-color-1); margin-right: 15px; } .lineno { color: var(--code-color-1); margin-right: 15px; }
figure.highlight { margin: 5px 0; } figure.highlight { margin: 5px 0; }
#code { border: 3px solid var(--text-color); } #code { border: 3px solid var(--text-color); }
pre { background-color: var(--background-color); border: 0; padding: 0; margin: 0; overflow:auto; font-size: $base-font-size; color: var(--text-color); line-height: 1.7 !important; font-family: $base-font-family !important; } pre { background-color: var(--background-color); border: 0; padding: 0; margin: 0; overflow:auto; font-size: $base-font-size; color: #00FF00; line-height: 1.7 !important; font-family: $base-font-family !important; }
.highlight .hll { background-color: var(--code-color-2); } .highlight .hll { background-color: var(--code-color-2); }
.highlight .c { color: var(--code-color-1); font-style: italic } /* Comment */ .highlight .c { color: var(--code-color-1); font-style: italic } /* Comment */
.highlight .err { color: var(--code-color-3); background-color: var(--code-color-4); } /* Error */ .highlight .err { color: var(--code-color-3); background-color: var(--code-color-4); } /* Error */

Loading…
Cancel
Save