Small updates to template_react (including a <noscript> hint)
This file is part of BenchExec.
Copyright (C) Dirk Beyer. All rights reserved.
}}<!DOCTYPE html>
-
<html>
<head>
-
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<meta name="generator" content="BenchExec table-generator {{version}}">
-
<title>{{title}} &ndash; BenchExec results</title>
-</head>
+
{{for file_content in app_css}}
<style>
{{file_content}}
</style>
{{endfor}}
-
+</head>
<body>
<div id="root"></div>
+<noscript>
+ This is an interactive table for viewing results produced by
+ <a href="https://github.com/sosy-lab/benchexec" target="_blank" rel="noopener noreferrer">BenchExec</a>.
+ Please enable JavaScript to use it.
+</noscript>
-<script type="text/javascript">
-
+<script>
const data = {
"version": {{version|json}},
"head": {{head|json}},
@@ -32,7 +33,6 @@ const data = {
"rows": {{rows|json}},
"stats": {{stats|json}}
};
-
window.data = data;
</script>
@@ -41,6 +41,5 @@ window.data = data;
{{file_content|html}}
</script>
{{endfor}}
-
</body>
</html>
