diff options
Diffstat (limited to 'doc/user/_static/overrides.js')
| -rw-r--r-- | doc/user/_static/overrides.js | 2 | 
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/user/_static/overrides.js b/doc/user/_static/overrides.js index 73bf6123b5..f6af539bfa 100644 --- a/doc/user/_static/overrides.js +++ b/doc/user/_static/overrides.js @@ -5,7 +5,7 @@   */  $(document).ready(function() {      $("span.mark:contains('Y')" ).addClass("mark-y"  ).parent("td").addClass("mark"); -    $("span.mark:contains('≥')" ).addClass("mark-geq").parent("td").addClass("mark"); +    $("span.mark:contains('>=')").addClass("mark-geq").parent("td").addClass("mark");      $("span.mark:contains('N')" ).addClass("mark-n"  ).parent("td").addClass("mark");      $("span.mark:contains('CP')").addClass("mark-cp" ).parent("td").addClass("mark");      $("span.mark:contains('†')" ).addClass("mark-dag").parent("td").addClass("mark");  | 
