{{# SPDX-License-Identifier: Apache-2.0

  BenchExec is a framework for reliable benchmarking.
  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>

{{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>
const data = {
  "version": {{version|json}},
  "head": {{head|json}},
  "tools": {{tools|json}},
  "rows": {{rows|json}},
  "stats": {{stats|json}}
};
window.data = data;
</script>

{{for file_content in app_js}}
<script>
{{file_content|html}}
</script>
{{endfor}}
</body>
</html>

{{# SPDX-License-Identifier: Apache-2.0

  BenchExec is a framework for reliable benchmarking.
  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>

{{for file_content in app_css}}
<style>
{{file_content|html}}
</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>
const data = {
  "version": {{version|json}},
  "head": {{head|json}},
  "tools": {{tools|json}},
  "rows": {{rows|json}},
  "stats": {{stats|json}}
};
window.data = data;
</script>

{{for file_content in app_js}}
<script>
{{file_content|html}}
</script>
{{endfor}}
</body>
</html>

Fix encoding of CSS style sheets in react-table
Fix encoding of CSS style sheets in react-table

When inserting the CSS code into template_react.html,
we mistakenly did HTML escaping on it,
which led to all CSS rules that contained a ">" selector being broken.
This was the reason why 72f3ef2 was necessary.

Other CSS rules from bundled libraries were also affected,
but I do not notice any visual differences.
In our development environment, the correct rules were always used
(because template_react.html is irrelevant there),
so if any other rules were affected by this a discrepancy between
development and production tables might have been noticed.
