do not make term definitions (dfn) bold

cplusplus · Jun 28, 2024 · c7abe75 · c7abe75
1 parent 5929840
commit c7abe75
Showing 1 changed file with 4 additions and 0 deletions.
diff --git 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}