diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/site/site.css | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/docs/site/site.css b/docs/site/site.css index ae59e79a..7d6d0660 100644 --- a/docs/site/site.css +++ b/docs/site/site.css @@ -63,12 +63,13 @@ body { margin:0; min-height:100vh; background:var(--field) radial-gradient(color /* code: a window on the machine, titled in stripes */ .content code, .content pre, .content kbd, .tag { font-family:var(--mono); } .content code { font-size:.82em; overflow-wrap:break-word; hyphens:none; } -.content pre { +.content pre:not(.ap-term-text) { font-size:15px; line-height:1.45; padding:12px 14px; margin:1em 0; overflow-x:auto; background:var(--deep); border:2px solid var(--leaf); border-top-width:8px; box-shadow:5px 5px 0 var(--shadow); } .content pre code { font-size:inherit; overflow-wrap:normal; } -@media (prefers-color-scheme: dark) { .content pre span { color:inherit !important; } } +/* Typst's code highlighting only: the cast player's terminal is a <pre> of coloured spans too */ +@media (prefers-color-scheme: dark) { .content pre:not(.ap-term-text) span { color:inherit !important; } } .content pre.tutor { font-size:14px; } /* tables: rows on alternating tints, a pardes #pairs */ |