Style tweaks

This commit is contained in:
Nathan McCarty 2025-02-04 15:57:53 -05:00
parent bf56790e3a
commit 804b51aaa6
3 changed files with 14 additions and 3 deletions

View file

@ -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

View file

@ -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);
}

View file

@ -17,6 +17,7 @@ body {
padding: 3rem;
border-radius: 1rem;
background-color: light-dark(#ffffff, #181818);
/* text-align: justify; */
}
.post-body > h1 {