Nicely stylize links in code blocks

This is mostly for Agda rendering.

Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
This commit is contained in:
Danila Fedorin 2024-05-22 15:25:42 -07:00
parent e531ebd992
commit 3ccb5e8c65

View File

@ -39,6 +39,15 @@ pre code {
overflow: auto; overflow: auto;
margin-bottom: 1rem; margin-bottom: 1rem;
a {
color: inherit;
border: none;
&:hover, &:focus {
background-color: rgba($primary-color, 0.25);
}
}
td { td {
padding: 0; padding: 0;
} }