diff options
| -rw-r--r-- | lib/ur/basis.urs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs index f3e29c53..5b47ba4a 100644 --- a/lib/ur/basis.urs +++ b/lib/ur/basis.urs @@ -829,6 +829,8 @@ val span : bodyTag boxAttrs val div : bodyTag boxAttrs val p : bodyTag boxAttrs +val strong : bodyTag boxAttrs +val em : bodyTag boxAttrs val b : bodyTag boxAttrs val i : bodyTag boxAttrs val tt : bodyTag boxAttrs |