From c7abe75b885124cc573d0a4f1fadcec46b8a43de Mon Sep 17 00:00:00 2001
From: Eric Niebler <eniebler@nvidia.com>
Date: Fri, 28 Jun 2024 10:59:12 -0700
Subject: [PATCH] do not make term definitions (`dfn`) bold

---
 execution.bs | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/execution.bs b/execution.bs
index 6c8f298..9fe758e 100644
--- a/execution.bs
+++ b/execution.bs
@@ -167,6 +167,10 @@ div.hidden h6 {
   margin-block: 0;
   line-height: 0;
 }
+
+dfn {
+  font-weight: normal;
+}
 </style>
 
 # Introduction # {#intro}