diff --git a/docs/_includes/css/type.html b/docs/_includes/css/type.html index 80e30cd425b5..2ea0465199b4 100644 --- a/docs/_includes/css/type.html +++ b/docs/_includes/css/type.html @@ -107,7 +107,7 @@
For indicating blocks of text that have been deleted use the <mark>
tag.
For highlighting a run of text due to its relevance in another context, use the <mark>
tag.
You can use the mark tag to highlight text.