Subversion Repositories wimsdev

Rev

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

  1. !!<HTML><HEAD>
  2. !!!if $style != folding
  3. !if $style = $empty
  4.   wims_expire=
  5. !endif
  6. !!$wims_html_header
  7. !!</HEAD>
  8. !!<BODY $wims_htmlbody>
  9. !!!headmenu
  10.  
  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
  17.  
  18. !header1
  19. !robottrap
  20.  
  21. !read adm/title.phtml 1\
  22. \
  23. $module_title
  24.  
  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
  29.   !if $s != $style
  30.     !if $already != $empty
  31.      or
  32.     !endif
  33.     !href cmd=resume&style=$s $s
  34.     !set already=yes
  35.   !endif
  36. !next s
  37.  style. There is also
  38.  !href module=help/main.$lang a general help
  39.  and
  40. <a href="http://wims.unice.fr/paper/wims/wims.html">a paper on WIMS.</a>
  41.  
  42. !if $style=integral or $style=indexed
  43.   <h2>-- Table of Contents --</h2>
  44.   <div id="index">
  45.   !for set in user,ref,dev
  46.     <h3>$(title_$set)</h3>
  47.      <ol>
  48.     !for i in $($(set)_doc)
  49.       <li id="toc_$i">
  50.       $(ref1)$i$(ref2)$i">$(title_$i)</a>
  51.      </li>
  52.    !next i
  53.     </ol>
  54.  !next set
  55. !else # folding
  56. <p>Click on a title to expand or fold out its content.</p>
  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
  71.  !next set
  72. !endif integral or indexed versus folding
  73.  </div>
  74. !if $style=integral
  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
  81. !endif
  82.  
  83. !if $style=indexed
  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
  90. !endif
  91.  
  92. !tail
  93.