diff --git a/static/css/theme-encompass.css b/static/css/theme-encompass.css index aeab4d1..ef54fcd 100644 --- a/static/css/theme-encompass.css +++ b/static/css/theme-encompass.css @@ -42,7 +42,7 @@ } body { - color: #06122F !important; + color: var(--MAIN-TEXT-color) !important; font-family: 'Public Sans' } @@ -185,3 +185,9 @@ div.notices.tip { div.notices.tip p { border-top: none; } + +/* override highlight.js bullshit */ + +div.highlight pre { + background-color: #06122F !important; +}