@@ -2052,7 +2052,8 @@ To write small caps, you can use an HTML span tag:
2053 <span style="font-variant:small-caps;">Small caps</span>
2053 <span style="font-variant:small-caps;">Small caps</span>
2055+(The semicolon is optional and there may be space after the
2055−This will work in all output formats that support small caps.
2056+colon.) This will work in all output formats that support small caps.