Commit fb2d9bfb authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2006-02-07 12:41:07 by afrisch] Empty log message

Original author: afrisch
Date: 2006-02-07 12:41:07+00:00
parent 4842a1b2
......@@ -94,7 +94,8 @@ let render(a : String)(p : {presenter=?"yes"|"no" ..}) : H.Flow =
let authors ([Author+] -> H.Flow)
| [ <author (p)>a ] -> render a p
| [ <author (p1)>a1 <author (p2)>a2 ] -> (render a1 p1) @ ", and " @ (render a2 p2)
| [ <author (p1)>a1 <author (p2)>a2 ] ->
(render a1 p1) @ ", and " @ (render a2 p2)
| [ <author (p)>a; rem ] -> (render a p)@ ", " @ authors rem
let find_local_link (sitemap : [Tree*], l : String) : Tree =
......@@ -136,7 +137,8 @@ let display_sitemap (h : Tree) : H.li =
let boxes_of (Page -> [H.ul?])
<page ..>[ (items::Item | _)*] & p ->
let toc = transform items with
| <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 ] ]
in
ul toc
......@@ -232,7 +234,8 @@ let demo(no : Int)(name : String)(prefix : String)(txt : String) : H.Flow =
(button_id (n@"btn") "Edit" ("editable('"@n@"','');") "")
(button "Evaluate" ("submit('"@n@"');"))
(button "Default" ("defreq('"@n@"');"))
(button_id (n@"btnclear") "Clear" ("clearreq('"@n@"');") "visibility:hidden;")
(button_id (n@"btnclear") "Clear" ("clearreq('"@n@"');")
"visibility:hidden;")
]
<td style="width:50%">[
<input id=(n@"def") type="hidden" value=txt>[]
......@@ -243,7 +246,9 @@ let demo(no : Int)(name : String)(prefix : String)(txt : String) : H.Flow =
<td valign="top">[
<div id=(n@"container")>[
<pre id=(n@"req")>txt
<textarea id=(n@"edit") cols="50" rows="25" style="display:none;border:1px solid #CCCCCC; background-color:#F0F0F0;">txt
<textarea id=(n@"edit") cols="50" rows="25"
style="display:none;border:1px solid #CCCCCC; background-color:#F0F0F0;">
txt
]
]
<td valign="top">[ <div id=(n@"res")>[] ] ] ]
......@@ -389,7 +394,8 @@ match page with
| <xhtml>i -> i
| <demo (r)>s ->
demo_no := !demo_no + 1;
let name = match r with { label .. } -> label | _ -> string_of !demo_no in
let name = match r with { label .. } -> label | _ ->
string_of !demo_no in
let prefix =
match r with { prefix = "last" .. } -> !last_demo
| { prefix .. } -> prefix
......@@ -408,7 +414,12 @@ match page with
[
<td valign="top" align="left">[
<span style="position:fixed;background:#ffffff;border: solid 2px black; cursor:e-resize;" onclick="javascript:var s=document.getElementById('leftbar').style; var d=s.display=='none'?'block':'none'; s.display=d; document.cookie='leftbar='+d;">"*"
<span
style=['position:fixed;background:#ffffff;border: solid 2px black; '
'cursor:e-resize;']
onclick=['javascript:var s=document.getElementById("leftbar").style; '
'var d=s.display=="none"?"block":"none"; '
's.display=d; document.cookie="leftbar="+d;']>"*"
<table cellpadding="0" cellspacing="15" id="leftbar"
width="200"
style="font-size:80%; border: 1px dashed black;
......@@ -470,7 +481,8 @@ text-align:center; color: #aa0000; font: bold 200% helvetica" >
<tr>[
<td valign="top" align="left"
style="border: 1px solid black; background: #fccead">[ (* altbg c8ccd1 *)
style="border: 1px solid black; background: #fccead">[
(* altbg c8ccd1 *)
<table width="100%" cellpadding="0" cellspacing="17">
(map main with x -> <tr>[ <td>[x] ])
] ]
......@@ -485,7 +497,10 @@ text-align:center; color: #aa0000; font: bold 200% helvetica" >
!extra_head
]
<body style="margin: 0; padding : 0; background: #fcb333"
onload="javascript:if (document.cookie.indexOf('leftbar=none')>=0) document.getElementById('leftbar').style.display='none';">[ (* altbg 4e6e99 *)
onload=("javascript:"@
"if (document.cookie.indexOf('leftbar=none')>=0) "@
"document.getElementById('leftbar').style.display='none';")>[
(* altbg 4e6e99 *)
<table cellspacing="10" cellpadding="0" width="100%" border="0">[
<tr>[ !left right ]
]
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment