Subversion Repositories wimsdev

Rev

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

Rev 14535 Rev 14631
Line 14... Line 14...
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}\
 16 
.wims_command .wimsdoc_tit{margin:0}\
17 
.wims_folding>a::before {margin-right: 1em;content: "+";}\
 17 
.wims_folding>a::before {margin-right: 1em;content: "+";}\
18 
.wims_folding.is-active>a::before {content: "-";}\
 18 
.wims_folding.is-active>a::before {content: "-";}\
- 
 
 19 
</style>\
19 
</style> to $wims_html_header
 20 
<script src="scripts/js/external/marked/marked.min.js"></script> to $wims_html_header
20 
 
 21 
 
21 
!header1
 22 
!header1
22 
!!!robottrap
 23 
!!!robottrap
23 
 
 24 
 
24 
!read adm/title.phtml 1\
 25 
!read adm/title.phtml 1\
25 
\
 26 
\
26 
$module_title
 27 
$module_title
27 
 
 28 
 
28 
This document is currently under $emph$style$emphend style.
 29 
<p>This document is currently under $emph$style$emphend style.
29 
You may change it to
 30 
You may change it to
30 
!set already=
 31 
!set already=
31 
!for s in integral,indexed,folding
 32 
!for s in integral,indexed,folding
32 
  !if $s != $style
 33 
  !if $s != $style
33 
    !if $already != $empty
 34 
    !if $already != $empty
Line 38... Line 39...
38 
  !endif
 39 
  !endif
39 
!next s
 40 
!next s
40 
 style. There is also
 41 
 style. There is also
41 
!href module=help/main.$lang a general help
 42 
!href module=help/main.$lang a general help
42 
 and
 43 
 and
43 
<a href="http://wims.unice.fr/paper/wims/wims.html">a paper on WIMS.</a>
 44 
<a href="https://wims.unice.fr/paper/wims/wims.html">a paper on WIMS</a>.</p>
44 
 
 45 
 
- 
 
 46 
<div class="wims_content">
45 
!if $style=integral or $style=indexed
 47 
!if $style=integral or $style=indexed
46 
  <div id="index">
 48 
  <div id="index">
47 
    <h2>-- Table of Contents --</h2>
 49 
    <h2>-- Table of Contents --</h2>
48 
    !for set in user,ref,dev
 50 
    !for set in user,ref,dev
49 
      <h3>$(title_$set)</h3>
 51 
      <h3>$(title_$set)</h3>
Line 88... Line 90...
88 
    !if $set isin $subject
 90 
    !if $set isin $subject
89 
      <hr/><h2 id="$set" class="wimscenter">$(title_$set)</h2>
 91 
      <hr/><h2 id="$set" class="wimscenter">$(title_$set)</h2>
90 
      !read $set.phtml
 92 
      !read $set.phtml
91 
    !endif
 93 
    !endif
92 
  !next set
 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>
93 
!endif
 105 
!endif
94 
 
 106 
 
95 
!tail
 107 
!tail