<!DOCTYPE HTML>
<html>
  <head>
    <title>{title}</title>

    <link href="web/progressbar/progressbar.css" rel="stylesheet" />
    <script src="web/progressbar/progressbar.min.js"></script>

    <link href="web/prism/themes/prism-custom.css" rel="stylesheet" />
    <script src="web/prism/langs/prism-core.min.js"></script>
    <script src="web/prism/langs/prism-{lang}.min.js"></script>

    <script src="web/prism/plugins/prism-normalize-whitespace.min.js"></script>

    <script src="web/prism/plugins/prism