diff --git a/execution.bs b/execution.bs
index ff4cc0b..136d26a 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}