mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Giacomo Vercesi
a741e39f76
Adds the formatting tool prettier to allow formatting JS, TS, JSON, YAML and HTML files.
52 lines
1.7 KiB
HTML
52 lines
1.7 KiB
HTML
<!--
|
|
This file is distributed under the MIT License. See LICENSE.md for details.
|
|
-->
|
|
<!DOCTYPE html>
|
|
<html>
|
|
<head>
|
|
<meta charset="utf-8" />
|
|
<meta name="viewport" content="width=device-width, initial-scale=1" />
|
|
<link
|
|
href="https://cdn.jsdelivr.net/npm/bootstrap@5.1.3/dist/css/bootstrap.min.css"
|
|
rel="stylesheet"
|
|
integrity="sha384-1BmE4kWBq78iYhFldvKuhfTAU6auU8tT94WrHftjDbrCEXSU1oBoqyl2QvZ6jIW3"
|
|
crossorigin="anonymous"
|
|
/>
|
|
<link
|
|
href="https:////cdn.datatables.net/1.11.3/css/jquery.dataTables.min.css"
|
|
rel="stylesheet"
|
|
crossorigin="anonymous"
|
|
/>
|
|
<title>{% block title %}{% endblock %}</title>
|
|
<script
|
|
src="https://code.jquery.com/jquery-3.6.0.js"
|
|
integrity="sha256-H+K7U5CnXl1h5ywQfKtSj8PCmoN9aaq30gDh27Xc0jk="
|
|
crossorigin="anonymous"
|
|
></script>
|
|
<script
|
|
src="https://cdn.datatables.net/1.11.3/js/jquery.dataTables.min.js"
|
|
crossorigin="anonymous"
|
|
></script>
|
|
<script>
|
|
jQuery.fn.outerHTML = function () {
|
|
return jQuery("<div />").append(this.eq(0).clone()).html();
|
|
};
|
|
</script>
|
|
{% block head %}{% endblock %}
|
|
</head>
|
|
<body class="text-center">
|
|
<style>
|
|
html,
|
|
body {
|
|
height: 100%;
|
|
}
|
|
</style>
|
|
{% block body %}{% endblock %}
|
|
<script
|
|
src="https://cdn.jsdelivr.net/npm/bootstrap@5.1.3/dist/js/bootstrap.bundle.min.js"
|
|
integrity="sha384-ka7Sk0Gln4gmtz2MlQnikT1wXgYsOg+OMhuP+IlRH9sENBO0LRn5q+8nbTov4+1p"
|
|
crossorigin="anonymous"
|
|
></script>
|
|
</body>
|
|
</html>
|