| 183 |
let boxes_of (Page -> [H.ul?]) |
let boxes_of (Page -> [H.ul?]) |
| 184 |
<page ..>[ (items::Item | _)*] & p -> |
<page ..>[ (items::Item | _)*] & p -> |
| 185 |
let toc = transform items with |
let toc = transform items with |
| 186 |
| <box title=t link=l>_ -> [ <li>[ <a href=[ !(url_of_page p) '#' !l ]>t ] ] |
| <box title=t link=l ..>_ -> [ <li>[ <a href=[ !(url_of_page p) '#' !l ]>t ] ] |
| 187 |
in |
in |
| 188 |
ul toc |
ul toc |
| 189 |
|
|
| 321 |
<page name=name leftbar="false"&(leftbar:=`false) else (leftbar:=`true) ..>[ |
<page name=name leftbar="false"&(leftbar:=`false) else (leftbar:=`true) ..>[ |
| 322 |
(<title>title <banner>banner | <title>(title & banner)) |
(<title>title <banner>banner | <title>(title & banner)) |
| 323 |
items::_* ] -> |
items::_* ] -> |
|
|
|
| 324 |
let items = items @ footer in |
let items = items @ footer in |
| 325 |
|
|
| 326 |
let footnote_counter = ref Int 0 in |
let footnote_counter = ref Int 0 in |
| 491 |
|
|
| 492 |
(* Preparing main panel *) |
(* Preparing main panel *) |
| 493 |
let main = transform items with |
let main = transform items with |
| 494 |
| <box title=t link=l>c -> [ (box_title (content c, l, t)) ] |
| <box title=t link=l ..>c -> [ (box_title (content c, l, t)) ] |
| 495 |
| <box>c -> [ (box (content c)) ] |
| <box>c -> [ (box (content c)) ] |
| 496 |
| <footnotes>[] -> |
| <footnotes>[] -> |
| 497 |
(match !footnotes with |
(match !footnotes with |