# HG changeset patch # User Paul Boddie # Date 1692305398 -7200 # Node ID f723451a159941bb0d5787f4a35620fdc922ad85 # Parent a0652d04aedba2bd69753404e86fbbbd9587944f Employ more specific class names for document regions. diff -r a0652d04aedb -r f723451a1599 moinformat/serialisers/html/moin.py --- a/moinformat/serialisers/html/moin.py Sat Jul 01 18:43:38 2023 +0200 +++ b/moinformat/serialisers/html/moin.py Thu Aug 17 22:49:58 2023 +0200 @@ -107,14 +107,14 @@ attr = attrs.append if region.level: - attr("level-%d" % region.level) + attr("region-level-%d" % region.level) if region.indent: - attr("indent-%d" % region.indent) + attr("region-indent-%d" % region.indent) # NOTE: Encode type details for CSS. - attr("type-%s" % escape_attr(region.type or "opaque")) + attr("region-type-%s" % escape_attr(region.type or "opaque")) # Inline regions must preserve "indent" as space in the text.