mcs/diff.html.in

   1 <!DOCTYPE html>
   2 <html lang="en">
   3   <head>
   4     <meta charset="utf-8" />
   5     <meta name="viewport" content="width=device-width, minimum-scale=1.0, maximum-scale=1.0" />
   6     <meta http-equiv="X-UA-Compatible" content="IE=Edge" />
   7     <title>@title@</title>
   8     <link rel="stylesheet" type="text/css" href="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.11.0/styles/github.min.css">
   9     <link rel="stylesheet" type="text/css" href="https://cdnjs.cloudflare.com/ajax/libs/diff2html/2.3.0/diff2html.min.css">
  10     <link rel='stylesheet' href='https://fonts.googleapis.com/css?family=Open+Sans' />
  11   </head>
  12   <body style="font-family: 'Open Sans'">
  13     <h1>@title@</h1>
  14     <p>@description@</p>
  15     <div id="diff"><!--<![CDATA[
  16 @diffdata@
  17 ]]>-->
  18     </div>
  19
  20     <script src="https://cdnjs.cloudflare.com/ajax/libs/jquery/2.2.3/jquery.js"></script>
  21     <script src="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.11.0/highlight.min.js"></script>
  22     <script src="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.11.0/languages/cs.min.js"></script>
  23
  24     <script src="https://cdnjs.cloudflare.com/ajax/libs/diff2html/2.3.0/diff2html.min.js"></script>
  25     <script src="https://cdnjs.cloudflare.com/ajax/libs/diff2html/2.3.0/diff2html-ui.min.js"></script>
  26
  27     <script>
  28     $(document).ready(function() {
  29         var diff2htmlUi = new Diff2HtmlUI({diff: $("#diff")[0].childNodes[0].nodeValue});
  30         diff2htmlUi.draw('#diff', {showFiles: true, matching: 'lines'});
  31         diff2htmlUi.highlightCode('#diff');
  32     });
  33     </script>
  34   </body>
  35 </html>