From 3ccb5e8c65aab527f9fa72559db17ff7b07d042b Mon Sep 17 00:00:00 2001
From: Danila Fedorin <danila.fedorin@gmail.com>
Date: Wed, 22 May 2024 15:25:42 -0700
Subject: [PATCH] Nicely stylize links in code blocks

This is mostly for Agda rendering.

Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
---
 assets/scss/code.scss | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/assets/scss/code.scss b/assets/scss/code.scss
index 9fa221c..83f857c 100644
--- a/assets/scss/code.scss
+++ b/assets/scss/code.scss
@@ -39,6 +39,15 @@ pre code {
         overflow: auto;
         margin-bottom: 1rem;
 
+        a {
+          color: inherit;
+          border: none;
+
+          &:hover, &:focus {
+            background-color: rgba($primary-color, 0.25);
+          }
+        }
+
         td {
             padding: 0;
         }