       <p><span style="color:darkblue">Pengines Scratchpad</span> is part of the Pengines platform. This is where you can learn how to program the interaction between JavaScript and Prolog, and also quickly prototype your applications.</p>
               </div>
            </div>
         </div>
      </div>
      <div id="help" class="modal fade" tabindex="-1">
         <div class="modal-dialog">
            <div class="modal-content">
               <div class="modal-header">
                  <button typ