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.

sosy-lab/benchexec,ultimate-pa/benchexec,sosy-lab/benchexec,dbeyer/benchexec,sosy-lab/benchexec,dbeyer/benchexec,ultimate-pa/benchexec,ultimate-pa/benchexec,dbeyer/benchexec,sosy-lab/benchexec,ultimate-pa/benchexec,dbeyer/benchexec,sosy-lab/benchexec,ultimate-pa/benchexec,sosy-lab/benchexec,ultimate-pa/benchexec