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 | < |
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=" |
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 |