10,11 → 10,11 |
!!!headmenu |
!header1 |
!robottrap |
<center> |
<h1> |
|
<h1 class="wimscenter"> |
!href cmd=renew&style=$style $module_title |
</h1> |
</center> <p> |
|
This document is currently under $emph$style$emphend style. |
You may change it to |
!set already= |
32,10 → 32,10 |
and |
<a href="http://wims.unice.fr/paper/wims/wims.html">a paper</a> |
on WIMS. |
<p> |
|
!if $style=integral or $style=indexed |
<h2 class="wimscenter"><a name="index">-------- Table of Contents --------</a></h2> |
<h2 class="wimscenter">-------- Table of Contents --------</h2> |
<a id="index"></a> |
<ul> |
!for set in user,ref |
<li><h4>$(title_$set)</h4> |
42,7 → 42,7 |
<ol> |
!for i in $($(set)_doc) |
<li> |
<a name="toc_$i"></a> |
<a id="toc_$i"></a> |
$(ref1)$i$(ref2)$i">$(title_$i)</a> |
</li> |
!next i |
51,17 → 51,17 |
!next set |
</ul> |
!else # folding |
<p>Click on a title to expand or fold out its content. |
<p>Click on a title to expand or fold out its content.</p> |
!for set in user,ref |
<p><hr/><center><h2>$(title_$set)</h2></center> |
<hr/><h2 class="wimscenter">$(title_$set)</h2> |
!for i in $($(set)_doc) |
<a name="$i"></a> |
<a id="$i"></a> |
!if ,$i isin $expand |
<hr/><h3> |
!href cmd=resume&op=close&subject=$i#$i $(title_$i) |
</h3> |
!read $i.phtml |
<p><hr/></p> |
<hr/> |
!else |
<h4>$(ref1)$i$(ref2)$i">$(title_$i)</a></h4> |
!endif |
71,11 → 71,14 |
|
!if $style=integral |
!for i in $user_doc,$ref_doc |
<hr/><h3 class="wimscenter"><a name="$i">$(title_$i)</a></h3></center> |
<hr/> |
<a id="$i"></a> |
<h3 class="wimscenter">$(title_$i)</h3> |
|
!read $i.phtml |
<p> |
<a href="#index">Table of Contents</a> |
</p> |
!next i |
!endif |
|
82,10 → 85,11 |
!if $style=indexed |
!for set in $user_doc,$ref_doc |
!if $set isin $subject |
<a name="$set"></a> |
<hr/><h3 class="wimscenter">$(title_$set)</h3></center> |
<p> |
<a id="$set"></a> |
<hr/><h3 class="wimscenter">$(title_$set)</h3> |
!read $set.phtml |
<p> |
</p> |
!endif |
!next set |
!endif |