diff --git a/projects/Idris/src/Posts/HelloWorld.md b/projects/Idris/src/Posts/HelloWorld.md index 8e4f3f8..afa7d4f 100644 --- a/projects/Idris/src/Posts/HelloWorld.md +++ b/projects/Idris/src/Posts/HelloWorld.md @@ -8,6 +8,12 @@ module Posts.HelloWorld Here is an example function that prints to the standard out: + +function debug null byte compile syntax error protocol stack overflow cache memory leak parse integer void pointer exception handler runtime deploy code fragment database query optimize algorithm refactor git commit push merge conflict +function debug null byte compile syntax error protocol stack overflow cache memory leak parse integer void pointer exception handler runtime deploy code fragment database query optimize algorithm refactor git commit push merge conflict +function debug null byte compile syntax error protocol stack overflow cache memory leak parse integer void pointer exception handler runtime deploy code fragment database query optimize algorithm refactor git commit push merge conflict + + ```idris main : IO () main = do diff --git a/resources/code.css b/resources/code.css index 7c14631..4635ff2 100644 --- a/resources/code.css +++ b/resources/code.css @@ -3,14 +3,18 @@ code { background-color: light-dark(#fbf3db, #103c48); color: light-dark(#53676d, #adbcbc); min-width: 80ch; -} - -pre > code { + width: 80%; display: block; padding: 1rem; border-radius: 0.55rem / 0.5rem; } +pre { + display: flex; + align-items: center; + justify-content: center; +} + .hl-type { color: light-dark(#ad8900, #dbb32d); } diff --git a/resources/main.css b/resources/main.css index dad7989..f6aeecd 100644 --- a/resources/main.css +++ b/resources/main.css @@ -17,6 +17,7 @@ body { padding: 3rem; border-radius: 1rem; background-color: light-dark(#ffffff, #181818); + /* text-align: justify; */ } .post-body > h1 {