Subversion Repositories wimsdev

Rev

Rev 14064 | Rev 14535 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 14064 Rev 14279
Line 11... Line 11...
11 
!set wims_html_header=!append line <link rel="stylesheet" href="html/themes/_css/tech_doc.css" />\
 11 
!set wims_html_header=!append line <link rel="stylesheet" href="html/themes/_css/tech_doc.css" />\
12 
<style>\
 12 
<style>\
13 
/* prevent table for being larger than a small screen */\
 13 
/* prevent table for being larger than a small screen */\
14 
.wimstable{table-layout: fixed;}\
 14 
.wimstable{table-layout: fixed;}\
15 
.wimstable td{word-wrap:break-word;}\
 15 
.wimstable td{word-wrap:break-word;}\
- 
 
 16 
.wims_command .wimsdoc_tit{margin:0}\
- 
 
 17 
.wims_folding>a::before {margin-right: 1em;content: "+";}\
- 
 
 18 
.wims_folding.is-active>a::before {content: "-";}\
16 
</style> to $wims_html_header
 19 
</style> to $wims_html_header
17 
 
 20 
 
18 
!header1
 21 
!header1
19 
!robottrap
 22 
!robottrap
20 
 
 23 
 
Line 33... Line 36...
33 
    !href cmd=resume&style=$s $s
 36 
    !href cmd=resume&style=$s $s
34 
    !set already=yes
 37 
    !set already=yes
35 
  !endif
 38 
  !endif
36 
!next s
 39 
!next s
37 
 style. There is also
 40 
 style. There is also
38 
 !href module=help/main.$lang a general help
 41 
!href module=help/main.$lang a general help
39 
 and
 42 
 and
40 
<a href="http://wims.unice.fr/paper/wims/wims.html">a paper on WIMS.</a>
 43 
<a href="http://wims.unice.fr/paper/wims/wims.html">a paper on WIMS.</a>
41 
 
 44 
 
42 
!if $style=integral or $style=indexed
 45 
!if $style=integral or $style=indexed
43 
  <h2>-- Table of Contents --</h2>
 - 
 
44 
  <div id="index">
 46 
  <div id="index">
- 
 
 47 
    <h2>-- Table of Contents --</h2>
45 
  !for set in user,ref,dev
 48 
    !for set in user,ref,dev
46 
    <h3>$(title_$set)</h3>
 49 
      <h3>$(title_$set)</h3>
47 
     <ol>
 50 
      <ol>
48 
    !for i in $($(set)_doc)
 51 
      !for i in $($(set)_doc)
49 
      <li id="toc_$i">
 52 
        <li id="toc_$i">
50 
      $(ref1)$i$(ref2)$i">$(title_$i)</a>
 53 
          $(ref1)$i$(ref2)$i">$(title_$i)</a>
51 
      </li>
 54 
        </li>
52 
    !next i
 55 
      !next i
53 
     </ol>
 56 
      </ol>
54 
  !next set
 57 
    !next set
- 
 
 58 
  </div>
55 
!else # folding
 59 
!else # folding
56 
 <p>Click on a title to expand or fold out its content.</p>
 60 
  <p>Click on a title to expand or fold out its content.</p>
57 
  !for set in user,ref,dev
 61 
  !for set in user,ref,dev
58 
    <hr/><h2 class="wimscenter">$(title_$set)</h2>
 62 
    <hr/><h2 class="wimscenter">$(title_$set)</h2>
59 
    !for i in $($(set)_doc)
 63 
    !for i in $($(set)_doc)
60 
      <a id="$i"></a>
 - 
 
61 
      !if ,$i isin $expand
 64 
      !if ,$i isin $expand
62 
       <hr/><h3>
 65 
        <hr/><h3 id="$i" class="wims_folding  is-active">
63 
       !href cmd=resume&op=close&subject=$i#$i $(title_$i)
 66 
          !href cmd=resume&op=close&subject=$i#$i $(title_$i)
64 
       </h3>
 67 
        </h3>
65 
       !read $i.phtml
 68 
        !read $i.phtml
66 
       <hr/>
 69 
        <hr/>
67 
      !else
 70 
      !else
68 
       <h4>$(ref1)$i$(ref2)$i">$(title_$i)</a></h4>
 71 
        <h3 id="$i" class="wims_folding">$(ref1)$i$(ref2)$i">$(title_$i)</a></h3>
69 
      !endif
 72 
      !endif
70 
    !next i
 73 
    !next i
71 
 !next set
 74 
 !next set
72 
!endif integral or indexed versus folding
 75 
!endif integral or indexed versus folding
73 
 </div>
 76 
 
74 
!if $style=integral
 77 
!if $style=integral
75 
  !for i in $user_doc,$ref_doc,$dev_doc
 78 
  !for i in $user_doc,$ref_doc,$dev_doc
76 
    <hr/>
 79 
    <hr/>
77 
      <h3 id="$i" class="wimscenter">$(title_$i)</h3>
 80 
    <h2 id="$i" class="wimscenter">$(title_$i)</h2>
78 
    !read $i.phtml
 81 
    !read $i.phtml
79 
    <p><a href="#index">Table of Contents</a></p>
 82 
    <p><a href="#index" class="text_icon toc">Table of Contents</a></p>
80 
  !next i
 83 
  !next i
81 
!endif
 84 
!endif
82 
 
 85 
 
83 
!if $style=indexed
 86 
!if $style=indexed
84 
  !for set in $user_doc,$ref_doc,$dev_doc
 87 
  !for set in $user_doc,$ref_doc,$dev_doc
85 
    !if $set isin $subject
 88 
    !if $set isin $subject
86 
      <hr/><h3 id="$set" class="wimscenter">$(title_$set)</h3>
 89 
      <hr/><h2 id="$set" class="wimscenter">$(title_$set)</h2>
87 
      !read $set.phtml
 90 
      !read $set.phtml
88 
    !endif
 91 
    !endif
89 
  !next set
 92 
  !next set
90 
!endif
 93 
!endif
91 
 
 94