Merge pull request #262 from cplusplus/dfn-style

do not make term definitions (`dfn`) bold
cplusplus · Jul 5, 2024 · aaa4d14 · aaa4d14
2 parents e84af77 + c7abe75
commit aaa4d14
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}