Danila Fedorin 3ccb5e8c65 Nicely stylize links in code blocks ...

This is mostly for Agda rendering.

Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>

2024-05-22 15:25:42 -07:00

..

code.scss

Nicely stylize links in code blocks

2024-05-22 15:25:42 -07:00

margin.scss

Add fallbacks to CSS variables for older browsers

2023-03-11 14:07:43 -08:00

mixins.scss

Extract input style to common CSS and remove raw uses of var(--x).

2023-11-27 22:17:23 -08:00

modes.scss

Tweak code CSS a bit to make it nicer

2024-02-02 21:05:26 -08:00

search.scss

Extract input style to common CSS and remove raw uses of var(--x).

2023-11-27 22:17:23 -08:00

sidenotes.scss

Add fallbacks to CSS variables for older browsers

2023-03-11 14:07:43 -08:00

style.scss

Highlight linked paragraphs

2024-05-21 19:04:34 -07:00

toc.scss

Add fallbacks to CSS variables for older browsers

2023-03-11 14:07:43 -08:00

variables.scss

Tweak code CSS a bit to make it nicer

2024-02-02 21:05:26 -08:00