Rev 16495 | Rev 17238 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 16495 | Rev 17228 | ||
---|---|---|---|
Line 6... | Line 6... | ||
6 | !!$wims_html_header |
6 | !!$wims_html_header |
7 | !!</HEAD> |
7 | !!</HEAD> |
8 | !!<BODY $wims_htmlbody> |
8 | !!<BODY $wims_htmlbody> |
9 | !!!headmenu |
9 | !!!headmenu |
10 | 10 | ||
11 | !set wims_html_header=!append line <link rel="stylesheet" href="html/themes/_css/tech_doc.css" |
11 | !set wims_html_header=!append line <link rel="stylesheet" href="html/themes/_css/tech_doc.css">\ |
12 | <style>\ |
12 | <style>\ |
13 | /* prevent table for being larger than a small screen */\ |
13 | /* prevent table for being larger than a small screen */\ |
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}\ |
Line 59... | Line 59... | ||
59 | !next set |
59 | !next set |
60 | </div> |
60 | </div> |
61 | !else # folding |
61 | !else # folding |
62 | <p>Click on a title to expand or fold out its content.</p> |
62 | <p>Click on a title to expand or fold out its content.</p> |
63 | !for set in user,ref,dev |
63 | !for set in user,ref,dev |
64 | <hr |
64 | <hr><h2 class="wimscenter">$(title_$set)</h2> |
65 | !for i in $($(set)_doc) |
65 | !for i in $($(set)_doc) |
66 | !if ,$i isin $expand |
66 | !if ,$i isin $expand |
67 | <hr |
67 | <hr><h3 id="$i" class="wims_folding is-active"> |
68 | !href cmd=resume&op=close&subject=$i#$i $(title_$i) |
68 | !href cmd=resume&op=close&subject=$i#$i $(title_$i) |
69 | </h3> |
69 | </h3> |
70 | !read $i.phtml |
70 | !read $i.phtml |
71 | <hr |
71 | <hr> |
72 | !else |
72 | !else |
73 | <h3 id="$i" class="wims_folding">$(ref1)$i$(ref2)$i">$(title_$i)</a></h3> |
73 | <h3 id="$i" class="wims_folding">$(ref1)$i$(ref2)$i">$(title_$i)</a></h3> |
74 | !endif |
74 | !endif |
75 | !next i |
75 | !next i |
76 | !next set |
76 | !next set |
77 | !endif integral or indexed versus folding |
77 | !endif integral or indexed versus folding |
78 | 78 | ||
79 | !if $style=integral |
79 | !if $style=integral |
80 | !for i in $user_doc,$ref_doc,$dev_doc |
80 | !for i in $user_doc,$ref_doc,$dev_doc |
81 | <hr |
81 | <hr> |
82 | <h2 id="$i" class="wimscenter">$(title_$i)</h2> |
82 | <h2 id="$i" class="wimscenter">$(title_$i)</h2> |
83 | !read $i.phtml |
83 | !read $i.phtml |
84 | <p><a href="#index" class="text_icon toc">Table of Contents</a></p> |
84 | <p><a href="#index" class="text_icon toc">Table of Contents</a></p> |
85 | !next i |
85 | !next i |
86 | !endif |
86 | !endif |
87 | 87 | ||
88 | !if $style=indexed |
88 | !if $style=indexed |
89 | !for set in $user_doc,$ref_doc,$dev_doc |
89 | !for set in $user_doc,$ref_doc,$dev_doc |
90 | !if $set isin $subject |
90 | !if $set isin $subject |
91 | <hr |
91 | <hr><h2 id="$set" class="wimscenter">$(title_$set)</h2> |
92 | !read $set.phtml |
92 | !read $set.phtml |
93 | !endif |
93 | !endif |
94 | !next set |
94 | !next set |
95 | !endif |
95 | !endif |
96 | </div> |
96 | </div> |