Wikimedia Bugzilla is closed!

Wikipedians often use lines starting with one or more colons to indent a line:
e.g.
: this line is indented
:: double indented

I recently noticed that the generated HTML contains a definition list (<dl/>).
Obviously this is not a good means to indent text. (http://www.w3.org/TR/html401/struct/lists.html#h-
10.3)
Apparently, the mediawiki-syntax for defintion lists (;term : def) is being abused for visual effects.

I suggest that a <div style="margin-left: 2em"></div> is used instead of <dl><dd></dd></dl>, whenever 
a colon is found without a preceding semicolon.


keywords: indentation colon semicolon dl dt dd definition list abuse parser