Subversion Repositories wimsdev

Rev

Rev 13470 | Rev 14279 | Go to most recent revision | Details | Compare with Previous | Last modification | View Log | RSS feed

Rev Author Line No. Line
1091 bpr 1
!!<HTML><HEAD>
2
!!!if $style != folding
32 reyssat 3
!if $style = $empty
4
  wims_expire=
5
!endif
1091 bpr 6
!!$wims_html_header
7
!!</HEAD>
8
!!<BODY $wims_htmlbody>
9
!!!headmenu
9291 obado 10
 
13470 obado 11
!set wims_html_header=!append line <link rel="stylesheet" href="html/themes/_css/tech_doc.css" />\
12
<style>\
13
/* prevent table for being larger than a small screen */\
14
.wimstable{table-layout: fixed;}\
15
.wimstable td{word-wrap:break-word;}\
16
</style> to $wims_html_header
9291 obado 17
 
1091 bpr 18
!header1
32 reyssat 19
!robottrap
5919 bpr 20
 
9291 obado 21
!read adm/title.phtml 1\
22
\
23
$module_title
5919 bpr 24
 
32 reyssat 25
This document is currently under $emph$style$emphend style.
26
You may change it to
27
!set already=
28
!for s in integral,indexed,folding
14064 bpr 29
  !if $s != $style
30
    !if $already != $empty
31
     or
32
    !endif
33
    !href cmd=resume&style=$s $s
34
    !set already=yes
32 reyssat 35
  !endif
36
!next s
37
 style. There is also
38
 !href module=help/main.$lang a general help
9291 obado 39
 and
40
<a href="http://wims.unice.fr/paper/wims/wims.html">a paper on WIMS.</a>
32 reyssat 41
 
42
!if $style=integral or $style=indexed
14064 bpr 43
  <h2>-- Table of Contents --</h2>
44
  <div id="index">
45
  !for set in user,ref,dev
9291 obado 46
    <h3>$(title_$set)</h3>
14064 bpr 47
     <ol>
9291 obado 48
    !for i in $($(set)_doc)
14064 bpr 49
      <li id="toc_$i">
50
      $(ref1)$i$(ref2)$i">$(title_$i)</a>
51
      </li>
9291 obado 52
    !next i
14064 bpr 53
     </ol>
32 reyssat 54
  !next set
55
!else # folding
5919 bpr 56
 <p>Click on a title to expand or fold out its content.</p>
14064 bpr 57
  !for set in user,ref,dev
58
    <hr/><h2 class="wimscenter">$(title_$set)</h2>
59
    !for i in $($(set)_doc)
60
      <a id="$i"></a>
61
      !if ,$i isin $expand
62
       <hr/><h3>
63
       !href cmd=resume&op=close&subject=$i#$i $(title_$i)
64
       </h3>
65
       !read $i.phtml
66
       <hr/>
67
      !else
68
       <h4>$(ref1)$i$(ref2)$i">$(title_$i)</a></h4>
69
      !endif
70
    !next i
32 reyssat 71
 !next set
72
!endif integral or indexed versus folding
11282 bpr 73
 </div>
32 reyssat 74
!if $style=integral
14064 bpr 75
  !for i in $user_doc,$ref_doc,$dev_doc
76
    <hr/>
77
      <h3 id="$i" class="wimscenter">$(title_$i)</h3>
78
    !read $i.phtml
79
    <p><a href="#index">Table of Contents</a></p>
80
  !next i
32 reyssat 81
!endif
82
 
83
!if $style=indexed
14064 bpr 84
  !for set in $user_doc,$ref_doc,$dev_doc
85
    !if $set isin $subject
86
      <hr/><h3 id="$set" class="wimscenter">$(title_$set)</h3>
87
      !read $set.phtml
88
    !endif
89
  !next set
32 reyssat 90
!endif
91
 
92
!tail