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