[Apologies for thread necro.]
Here’s what I’ve ended up doing:
Code:
.hr {text-indent: 0; text-align: center;}
…
<p class="hr">•—•—•</p>
If I can’t use the <hr> tag for correct semantics, I’ll just stick with the simplest possible way to do things. Simple search-and-replace gives me whatever patterns I want, or
gives me a blank-line separator for the same price.