diff --git a/web/demo/index.njk b/web/demo/index.njk index e434322..d426229 100644 --- a/web/demo/index.njk +++ b/web/demo/index.njk @@ -6,7 +6,9 @@ - + + + @@ -19,6 +21,10 @@ diff --git a/web/static/app/main.css b/web/static/app/main.css index 2404663..7c61725 100644 --- a/web/static/app/main.css +++ b/web/static/app/main.css @@ -663,4 +663,24 @@ the top nav in a more elegant way at some point*/ .menu li { padding: var(--padding); } +} + +/*------------CODE EDITOR------------*/ + +.code-editor { + border-radius: 6px; + font-family: 'Source Code Pro', monospace; + font-size: 14px; + font-weight: 400; + height: 340px; + letter-spacing: normal; + line-height: 20px; + padding: 10px; + resize: none !important; + tab-size: 4; + margin-left: -0.5rem; +} + +.code-editor.hljs { + padding: 10px; } \ No newline at end of file