anchor.diff:                      <div class="panel-heading"><h3 class="panel-title">Maven Tycho</h3></div>
                       <div class="panel-body">
                       Add the following repository configuration to your setup:
  +                    </div>
                       
  -                    <pre>
  +<div class="">
  +                    <pre>…
   &lt;repositories&gt;
       …
       &lt;repository&gt;
  
positive.code:                     
                      Create an new target platform DSL file
                      
                      
                      <pre>
  target "My target platform"
  
  
negative.code:     &lt;/repository&gt;
      …
  &lt;/repositories&gt;
  …</pre>
                      
                      </div>
                      
  