header.html

<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml">
  <head>
    <meta http-equiv="content-type" content="text/html;charset=utf-8" />
    <title>jsCoq NPM package</title>

  </head>

<body class="jscoq-main">
  <script src='https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-MML-AM_CHTML' async></script>

  <div id="ide-wrapper" class="toggled">
    <div id="code-wrapper">
      <div id="document">

To play this document inside your browser use ALT-N and ALT-P.
You can 
<span class="save-button" onClick="save_coq_snippets()" >save your edits</span>
inside your browser and 
<span class="save-button" onClick="load_coq_snippets()" >load them back</span>
(edits are also saved when you close the window).  Finally you can
<span class="save-button" onClick="download_coq_snippets()" >download</span>
the file for offline editing.

<hr/>