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

[r2003-07-05 13:40:37 by cvscast] Beppe: small changes in the fonts.

Original author: cvscast
Date: 2003-07-05 13:40:37+00:00
parent 2f9f4ecb
......@@ -136,7 +136,7 @@ let link_to (Page -> Xa)
let box (x : Flow) : Block =
<table cellpadding="2"
style="border: solid 2px black; background: #ffffff" width="100%">
style="font-size:11px ; font-family:arial,sans-serif; border: solid 2px black; background: #ffffff" width="100%">
[ <tr> [<td>x] ]
let meta (x : Flow) : Block =
......@@ -260,7 +260,7 @@ match page with
let left = match navig with [] -> [ [<boxes-toc>[]] ] | n -> n in
let left =
<td valign="top" align="left">[
<table cellpadding="5" cellspacing="2"
<table cellpadding="13" cellspacing="2"
width="200" style="font-size:80%; border: 1px dashed black; background: #ffcd72">
(map left with x -> <tr>[ <td>[ (box (content x)) ] ]) ] in
......
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