Subversion Repositories wimsdev

Rev

Rev 14631 | Rev 17228 | 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. .wims_command .wimsdoc_tit{margin:0}\
  17. .wims_folding>a::before {margin-right: 1em;content: "+";}\
  18. .wims_folding.is-active>a::before {content: "-";}\
  19. </style>\
  20. <script src="scripts/js/external/marked/marked.min.js"></script> to $wims_html_header
  21.  
  22. !header1
  23. !!!robottrap
  24.  
  25. !read adm/title.phtml 1\
  26. \
  27. $module_title
  28.  
  29. <p>This document is currently under $emph$style$emphend style.
  30. You may change it to
  31. !set already=
  32. !for s in integral,indexed,folding
  33.   !if $s != $style
  34.     !if $already != $empty
  35.      or
  36.     !endif
  37.     !href cmd=resume&style=$s $s
  38.     !set already=yes
  39.   !endif
  40. !next s
  41.  style. There is also
  42. !href module=help/main.$lang a general help
  43.  and
  44. <a href="https://wims.univ-cotedazur.fr/paper/wims/wims.html">a paper on WIMS</a>.</p>
  45.  
  46. <div class="wims_content">
  47. !if $style=integral or $style=indexed
  48.   <div id="index">
  49.     <h2>-- Table of Contents --</h2>
  50.     !for set in user,ref,dev
  51.       <h3>$(title_$set)</h3>
  52.       <ol>
  53.       !for i in $($(set)_doc)
  54.         <li id="toc_$i">
  55.           $(ref1)$i$(ref2)$i">$(title_$i)</a>
  56.        </li>
  57.      !next i
  58.      </ol>
  59.    !next set
  60.  </div>
  61. !else # folding
  62.  <p>Click on a title to expand or fold out its content.</p>
  63.  !for set in user,ref,dev
  64.    <hr/><h2 class="wimscenter">$(title_$set)</h2>
  65.    !for i in $($(set)_doc)
  66.      !if ,$i isin $expand
  67.        <hr/><h3 id="$i" class="wims_folding  is-active">
  68.          !href cmd=resume&op=close&subject=$i#$i $(title_$i)
  69.        </h3>
  70.        !read $i.phtml
  71.        <hr/>
  72.      !else
  73.        <h3 id="$i" class="wims_folding">$(ref1)$i$(ref2)$i">$(title_$i)</a></h3>
  74.       !endif
  75.     !next i
  76.  !next set
  77. !endif integral or indexed versus folding
  78.  
  79. !if $style=integral
  80.   !for i in $user_doc,$ref_doc,$dev_doc
  81.     <hr/>
  82.     <h2 id="$i" class="wimscenter">$(title_$i)</h2>
  83.     !read $i.phtml
  84.     <p><a href="#index" class="text_icon toc">Table of Contents</a></p>
  85.   !next i
  86. !endif
  87.  
  88. !if $style=indexed
  89.   !for set in $user_doc,$ref_doc,$dev_doc
  90.     !if $set isin $subject
  91.       <hr/><h2 id="$set" class="wimscenter">$(title_$set)</h2>
  92.       !read $set.phtml
  93.     !endif
  94.   !next set
  95. !endif
  96. </div>
  97.  
  98. !! Render .md file in HTML
  99. !if $style=integral or $style=folding or $subject=anstype
  100.   <script>
  101.     anstype_content=document.getElementById('anstype_content')
  102.     anstype_content.innerHTML =
  103.       marked(anstype_content.innerHTML);
  104.   </script>
  105. !endif
  106.  
  107. !tail
  108.