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

[r2002-12-11 20:54:43 by cvscast] Empty log message

Original author: cvscast
Date: 2002-12-11 20:54:43+00:00
parent 8513e665
......@@ -12,7 +12,7 @@ a:link:hover, a:visited:hover {
}
h1 {
color: #FF0000;
color: #aa0000;
text-align: center;
font: bold 200% helvetica;
margin: 0ex 0em 0ex 0em;
......@@ -75,7 +75,7 @@ div.abstract p {
.box {
background: #FFFFFF;
border: solid 2px #000000;
margin: 2ex 1em 1em 1em;
margin: 2ex 1em 2ex 1em;
padding: 0ex 0ex 0.5em 0ex;
}
......@@ -99,3 +99,4 @@ div.meta {
background: #fcb333;
}
}
......@@ -3,7 +3,7 @@ type XML = [ (XML_elem | Char)* ];;
let fun banner (title : Any, subtitle : Any) : XML =
[<div class="title">[
!(match title with t & XML \ [] -> [<h1>t] | _ -> [])
!(match title with t & XML \ [] -> [<p>[] <h1>t] | _ -> [])
!(match subtitle with t & XML \ [] -> [<h3>t] | _ -> [])
]];;
......
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