  }
  }
  s+="</pre>"
  return s
}
fetch(bnf_path)
  .then((response) => {
    return response.text();
  })
  .then((txt) => {
    document.body.innerHTML = "<i style='font-size:18px;font-family:serif'>Wenyan Language Specification</i><br><br>"+rich(txt);
  });
</script>
