fix <mark> raw source to match live example

#12956 errata

diff --git a/docs/_includes/css/type.html b/docs/_includes/css/type.html
index 9c5aee200a488d971975455fa818d08102253a3e..80e30cd425b5118253490243871deecc19f16dbd 100644 (file)
--- a/docs/_includes/css/type.html
+++ b/docs/_includes/css/type.html
@@ -112,7 +112,7 @@
     <p>You can use the mark tag to <mark>highlight</mark> text.</p>
   </div>
 {% highlight html %}
-<mark>This line of text is meant to be treated as deleted text.</mark>
+You can use the mark tag to <mark>highlight</mark> text.
 {% endhighlight %}