Commit 1a7084ea authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2003-11-20 23:15:32 by beppe] Minor changes

Original author: beppe
Date: 2003-11-20 23:15:32+00:00
parent feb82634
<?xml version="1.0" encoding="ISO-8859-1" standalone="yes"?>
<page name="hacking" new="">
<page name="hacking">
<title>Hacking CDuce</title>
......
<?xml version="1.0" encoding="ISO-8859-1" standalone="yes"?>
<page name="papers">
<page name="papers" new="">
<title>Papers and talks</title>
......
......@@ -151,7 +151,7 @@ let box (x : H:Flow) : H:Block =
let meta (x : H:Flow) : H:Block =
<table cellpadding="2"
style="border: solid 1px #b0b0b0; background: #e0e0e0; font-size: 80%"
style="border: solid 1px #b0b0b0; background: #e0e0e0; font-size: 80%"
width="100%">
[ <tr> [<td>x] ]
......@@ -298,7 +298,7 @@ match page with
<table cellpadding="0" cellspacing="15"
width="200"
style="font-size:80%; border: 1px dashed black;
background: #ffcd72">
background: #ffcd72"> (* altbg 9aa8ba *)
(map left with x -> <tr>[ <td>[ (box (content x)) ] ]) ] in
let dpath : H:Inlines = transform path with
......@@ -354,7 +354,7 @@ text-align:center; color: #aa0000; font: bold 200% helvetica" >
<tr>[
<td valign="top" align="left"
style="border: 1px solid black; background: #fccead">[
style="border: 1px solid black; background: #fccead">[ (* altbg c8ccd1 *)
<table width="100%" cellpadding="0" cellspacing="17">
(map main with x -> <tr>[ <td>[x] ])
] ]
......@@ -367,7 +367,7 @@ text-align:center; color: #aa0000; font: bold 200% helvetica" >
<meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type">[]
<style type="text/css">style
]
<body style="margin: 0; padding : 0; background: #fcb333">[
<body style="margin: 0; padding : 0; background: #fcb333">[ (* 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