From 191ed0e26be6b688b030ca54839cb7ae24bc6805 Mon Sep 17 00:00:00 2001 From: Pierre-Antoine Champin Date: Thu, 8 Aug 2019 16:06:01 +0200 Subject: [PATCH] replaced CSS hack by JS solution I tested it with Firefox 68.0.1 and Chromium 76.0.3809.87 on Linux. --- index.html | 54 ++++++++++++++++++++++++++++++++++++++++++++---------- 1 file changed, 44 insertions(+), 10 deletions(-) diff --git a/index.html b/index.html index 2bdeca6c..07c23b23 100644 --- a/index.html +++ b/index.html @@ -273,16 +273,51 @@ padding-left: 2em; font-style: italic; } + + @@ -1143,8 +1178,7 @@

Algorithm

For each item context in local context:
  1. If context is null: -
    clear context (unless protected)
    -
      +
      clear context (unless protected)
      1. If override protected is false and active context contains any protected term definitions, an invalid context nullification @@ -1157,7 +1191,7 @@

        Algorithm

        In [[[JSON-LD]]], the base IRI was given a default value here; this is now described conditionally in .
        2. -
      +
  2. If context is a string:
    dereference and process