Add more colors to python.

2025-02-22 18:26:33 -05:00
parent 04952895cf
commit c67eb32774
4 changed files with 50 additions and 12 deletions
--- a/default_environment/stylesheet/main.css
+++ b/default_environment/stylesheet/main.css
@@ -161,6 +161,7 @@ body {
    font-size: 1rem;
    font-family: var(--src-font-family);
    margin: 1rem 0;
+    font-variant-ligatures: none;

    .src_language {
      display: inline-block;