There's a bug when I copy Raw HTML in the wiki editor, that is it indents the first line of the <pre> tag to follow the HTML's tag hierarchy structure which causes unwanted indentation at the begining of "code" snippets in pre tags.
Example :
<pre class="src">; Other used tokens are:</pre>;
This cause "Other used tokens..." to appear far away of the left margin which is a problem.
Is this a know bug, or is there a way to fix it ? Going in the HTML and fixing the identation doesn't help since it indents again after I save...
EDIT: I tried to put the words right after the > of the pre tag and it always put them back on a new line indented, so... humm... I'm not sure, how am I suppose to add "code" blocks in there (note that there's a hierarchy of div on top which is way the indentation is so deep...)
