Subversion Repositories wimsdev

Rev

Rev 17238 | 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 
 
17228 bpr 11 
!set wims_html_header=!append line <link rel="stylesheet" href="html/themes/_css/tech_doc.css">\
13470 obado 12 
<style>\
13 
/* prevent table for being larger than a small screen */\
14 
.wimstable{table-layout: fixed;}\
15 
.wimstable td{word-wrap:break-word;}\
14279 obado 16 
.wims_command .wimsdoc_tit{margin:0}\
17 
.wims_folding>a::before {margin-right: 1em;content: "+";}\
18 
.wims_folding.is-active>a::before {content: "-";}\
14631 obado 19 
</style>\
20 
<script src="scripts/js/external/marked/marked.min.js"></script> to $wims_html_header
9291 obado 21 
 
1091 bpr 22 
!header1
14535 bpr 23 
!!!robottrap
5919 bpr 24 
 
9291 obado 25 
!read adm/title.phtml 1\
26 
\
27 
$module_title
5919 bpr 28 
 
14631 obado 29 
<p>This document is currently under $emph$style$emphend style.
32 reyssat 30 
You may change it to
31 
!set already=
32 
!for s in integral,indexed,folding
14064 bpr 33 
  !if $s != $style
34 
    !if $already != $empty
35 
     or
36 
    !endif
37 
    !href cmd=resume&style=$s $s
38 
    !set already=yes
32 reyssat 39 
  !endif
40 
!next s
41 
 style. There is also
14279 obado 42 
!href module=help/main.$lang a general help
9291 obado 43 
 and
15218 bpr 44 
<a href="https://wims.univ-cotedazur.fr/paper/wims/wims.html">a paper on WIMS</a>.</p>
32 reyssat 45 
 
14631 obado 46 
<div class="wims_content">
32 reyssat 47 
!if $style=integral or $style=indexed
14064 bpr 48 
  <div id="index">
14279 obado 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>
32 reyssat 61 
!else # folding
14279 obado 62 
  <p>Click on a title to expand or fold out its content.</p>
14064 bpr 63 
  !for set in user,ref,dev
17228 bpr 64 
    <hr><h2 class="wimscenter">$(title_$set)</h2>
14064 bpr 65 
    !for i in $($(set)_doc)
66 
      !if ,$i isin $expand
17238 bpr 67 
        <hr><h3 id="$i" class="wims_folding is-active">
14279 obado 68 
          !href cmd=resume&op=close&subject=$i#$i $(title_$i)
69 
        </h3>
70 
        !read $i.phtml
17228 bpr 71 
        <hr>
14064 bpr 72 
      !else
14279 obado 73 
        <h3 id="$i" class="wims_folding">$(ref1)$i$(ref2)$i">$(title_$i)</a></h3>
14064 bpr 74 
      !endif
75 
    !next i
32 reyssat 76 
 !next set
77 
!endif integral or indexed versus folding
14279 obado 78 
 
32 reyssat 79 
!if $style=integral
14064 bpr 80 
  !for i in $user_doc,$ref_doc,$dev_doc
17228 bpr 81 
    <hr>
14279 obado 82 
    <h2 id="$i" class="wimscenter">$(title_$i)</h2>
14064 bpr 83 
    !read $i.phtml
14279 obado 84 
    <p><a href="#index" class="text_icon toc">Table of Contents</a></p>
14064 bpr 85 
  !next i
32 reyssat 86 
!endif
87 
 
88 
!if $style=indexed
14064 bpr 89 
  !for set in $user_doc,$ref_doc,$dev_doc
90 
    !if $set isin $subject
17228 bpr 91 
      <hr><h2 id="$set" class="wimscenter">$(title_$set)</h2>
14064 bpr 92 
      !read $set.phtml
93 
    !endif
94 
  !next set
32 reyssat 95 
!endif
14631 obado 96 
</div>
32 reyssat 97 
 
14631 obado 98 
!! Render .md file in HTML
99 
!if $style=integral or $style=folding or $subject=anstype
100 
  <script>
16495 obado 101 
  document.addEventListener("DOMContentLoaded", function() {
14631 obado 102 
    anstype_content=document.getElementById('anstype_content')
103 
    anstype_content.innerHTML =
17727 obado 104 
      marked.parse(anstype_content.innerHTML);
16495 obado 105 
  });
14631 obado 106 
  </script>
107 
!endif
108 
 
32 reyssat 109 
!tail