Matthew Jacobi

<widget id="helloworld" dockable="no" floatable="no">
  <widgetname>HelloWorld</widgetname>
  <width>320</width>
  <height>240</height>
</widget>

turns into

<pre class="brush: xml;fontsize: 100; first-line: 1; ">
  HelloWorld
  320
  240
</pre>