| 136 |
|
|
| 137 |
let box (x : Flow) : Block = |
let box (x : Flow) : Block = |
| 138 |
<table cellpadding="2" |
<table cellpadding="2" |
| 139 |
style="font-size:11px ; font-family:arial,sans-serif; border: solid 2px black; background: #ffffff" width="100%"> |
style="font-size:11px ; font-family:arial,sans-serif; |
| 140 |
|
border: solid 2px black; background: #ffffff" width="100%"> |
| 141 |
[ <tr> [<td>x] ] |
[ <tr> [<td>x] ] |
| 142 |
|
|
| 143 |
let meta (x : Flow) : Block = |
let meta (x : Flow) : Block = |
| 262 |
let left = |
let left = |
| 263 |
<td valign="top" align="left">[ |
<td valign="top" align="left">[ |
| 264 |
<table cellpadding="13" cellspacing="2" |
<table cellpadding="13" cellspacing="2" |
| 265 |
width="200" style="font-size:80%; border: 1px dashed black; background: #ffcd72"> |
width="200" |
| 266 |
|
style="font-size:80%; border: 1px dashed black; |
| 267 |
|
background: #ffcd72"> |
| 268 |
(map left with x -> <tr>[ <td>[ (box (content x)) ] ]) ] in |
(map left with x -> <tr>[ <td>[ (box (content x)) ] ]) ] in |
| 269 |
|
|
| 270 |
let dpath : Inlines = transform path with |
let dpath : Inlines = transform path with |
| 276 |
let next = match next with [] -> [] |
let next = match next with [] -> [] |
| 277 |
| <page name=n>[ <title>t; _ ] -> |
| <page name=n>[ <title>t; _ ] -> |
| 278 |
[ <a href=(url_of_name n)>[ |
[ <a href=(url_of_name n)>[ |
| 279 |
<img width="16" height="16" class="icon" alt="Next page" src="img/right.gif">[] |
<img width="16" height="16" class="icon" alt="Next page" |
| 280 |
|
src="img/right.gif">[] |
| 281 |
' ' !t |
' ' !t |
| 282 |
] ] in |
] ] in |
| 283 |
let prev = match prev with [] -> [] |
let prev = match prev with [] -> [] |
| 284 |
| <page name=n>[ <title>t; _ ] -> |
| <page name=n>[ <title>t; _ ] -> |
| 285 |
[ <a href=(url_of_name n)>[ |
[ <a href=(url_of_name n)>[ |
| 286 |
<img width="16" height="16" class="icon" alt="Previous page" src="img/left.gif">[] |
<img width="16" height="16" class="icon" |
| 287 |
|
alt="Previous page" src="img/left.gif">[] |
| 288 |
' ' !t |
' ' !t |
| 289 |
] ] in |
] ] in |
| 290 |
let navig = |
let navig = |