diff options
Diffstat (limited to 'html-test/ref/Bug335.html')
| -rw-r--r-- | html-test/ref/Bug335.html | 6 | 
1 files changed, 3 insertions, 3 deletions
diff --git a/html-test/ref/Bug335.html b/html-test/ref/Bug335.html index dc72c08f..00e31ca0 100644 --- a/html-test/ref/Bug335.html +++ b/html-test/ref/Bug335.html @@ -4,7 +4,7 @@       /><meta name="viewport" content="width=device-width, initial-scale=1"       /><title      >Bug335</title -    ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" +    ><link href="#" rel="stylesheet" type="text/css" title="Linuwial"       /><link rel="stylesheet" type="text/css" href="#"       /><link rel="stylesheet" type="text/css" href="#"       /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -69,7 +69,7 @@  	    >#</a  	    ></p  	  ><div class="doc" -	  ><h3 class="caption details-toggle-control details-toggle" data-details-id="ch:f0" +	  ><h3 class="subheading details-toggle-control details-toggle" data-details-id="ch:f0"  	    >ExF:</h3  	    ><details id="ch:f0"  	    ><summary class="hide-when-js-enabled" @@ -87,7 +87,7 @@  	    >#</a  	    ></p  	  ><div class="doc" -	  ><h3 class="caption details-toggle-control details-toggle" data-details-id="ch:g0" +	  ><h3 class="subheading details-toggle-control details-toggle" data-details-id="ch:g0"  	    >ExG:</h3  	    ><details id="ch:g0"  	    ><summary class="hide-when-js-enabled"  | 
