diff --git a/execution.html b/execution.html index 7719db7..e2d8cc6 100644 --- a/execution.html +++ b/execution.html @@ -1705,6 +1705,10 @@ margin-block: 0; line-height: 0; } + +dfn { + font-weight: normal; +}