diff options
| author | alexbiehl <alex.biehl@gmail.com> | 2017-10-31 21:48:55 +0100 | 
|---|---|---|
| committer | alexbiehl <alex.biehl@gmail.com> | 2017-10-31 21:48:55 +0100 | 
| commit | 08c9e19236770811caf571321f5ece271d1fccff (patch) | |
| tree | beb3f6407d14abcab32f9d54811cabd319c356a4 /html-test/ref/Bug335.html | |
| parent | 3896bff411596ef50b5ca2f2be425e89878410aa (diff) | |
| parent | e5fe98530d9c70f5197494da9de07f42dd7fe334 (diff) | |
Merge remote-tracking branch 'origin/master' into ghc-head
Diffstat (limited to 'html-test/ref/Bug335.html')
| -rw-r--r-- | html-test/ref/Bug335.html | 44 | 
1 files changed, 25 insertions, 19 deletions
| diff --git a/html-test/ref/Bug335.html b/html-test/ref/Bug335.html index 8aaf4349..f2185045 100644 --- a/html-test/ref/Bug335.html +++ b/html-test/ref/Bug335.html @@ -39,18 +39,20 @@  	>Bug335</p  	></div        ><div id="synopsis" -      ><p id="control.syn" class="caption expander" onclick="toggleSection('syn')" -	>Synopsis</p -	><ul id="section.syn" class="hide" onclick="toggleSection('syn')" -	><li class="src short" -	  ><a href="#" -	    >f</a -	    > :: ()</li +      ><details id="syn" +	><summary +	  >Synopsis</summary +	  ><ul class="details-toggle" data-details-id="syn"  	  ><li class="src short" -	  ><a href="#" -	    >g</a -	    > :: ()</li -	  ></ul +	    ><a href="#" +	      >f</a +	      > :: ()</li +	    ><li class="src short" +	    ><a href="#" +	      >g</a +	      > :: ()</li +	    ></ul +	  ></details  	></div        ><div id="interface"        ><h1 @@ -63,12 +65,14 @@  	    >#</a  	    ></p  	  ><div class="doc" -	  ><h3 id="control.ch:f0" class="caption expander" onclick="toggleSection('ch:f0')" +	  ><h3 class="caption details-toggle-control details-toggle" data-details-id="ch:f0"  	    >ExF:</h3 -	    ><div id="section.ch:f0" class="hide" -	    ><p +	    ><details id="ch:f0" +	    ><summary class="hide-when-js-enabled" +	      >Expand</summary +	      ><p  	      >abc</p -	      ></div +	      ></details  	    ></div  	  ></div  	><div class="top" @@ -79,10 +83,12 @@  	    >#</a  	    ></p  	  ><div class="doc" -	  ><h3 id="control.ch:g0" class="caption expander" onclick="toggleSection('ch:g0')" +	  ><h3 class="caption details-toggle-control details-toggle" data-details-id="ch:g0"  	    >ExG:</h3 -	    ><div id="section.ch:g0" class="hide" -	    ><pre class="screen" +	    ><details id="ch:g0" +	    ><summary class="hide-when-js-enabled" +	      >Expand</summary +	      ><pre class="screen"  	      ><code class="prompt"  		>>>> </code  		><strong class="userinput" @@ -106,7 +112,7 @@  	      >Under ex</h4  	      ><p  	      >foo</p -	      ></div +	      ></details  	    ><h2  	    >Out of Ex</h2  	    ><p | 
