Commit 7c9c8439 authored by Pietro Abate's avatar Pietro Abate

[r2006-12-19 21:23:17 by afrisch] new design

Original author: afrisch
Date: 2006-12-19 21:23:17+00:00
parent 3e6d7ccd
/**** Links ****/
a:link, a:visited {
text-decoration:none;
color:#4088b8;
font-weight:bold;
}
a:link:hover, a:visited:hover{text-decoration:underline;}
a.old { text-decoration:line-through; }
/**** Panels ****/
.smallbox {
font-size: 11px;
font-family: arial,sans-serif;
border: solid 2px black;
background: #ffffff;
padding: 5px 5px 5px 5px;
}
.mainpanel{
margin:10px auto;
padding:5px 0 0 0;
}
.leftbar {
}
.box {
border: solid 2px black;
background: #ffffff;
.meta{
background: #fff0f0;
font-size: 13px;
border: solid 1px #b0b0b0;
margin: 10px auto;
padding: 0px 0px 5px 0px;
}
a:link:hover, a:visited:hover {
text-decoration: none;
background: #FFFFFF;
color: #FF0000;
/**** Titles ****/
h1{
font-size:3.5em;
letter-spacing:-4px;
margin:0 0 30px 25px;
color:#4088b8;
}
h2{
font-size:1.4em;
color:#4088b8;
border-bottom:4px solid #dadada;
padding:0 2px 2px 5px;
margin:10px 0 10px 0;
letter-spacing:-1px;
}
h3{
font-size:1em;
color:#40a040;
border-bottom:1px solid #dadada;
padding:0 2px 2px 5px;
margin:10px 0 10px 0;
letter-spacing:-1px;
}
a.old, a.old:hover, a.old:visited:hover { text-decoration: line-through; }
p { text-align: justify; margin: 1ex 1em 0 1em; }
p { text-align: justify; margin: 1ex 3em 0em 1em; }
pre { margin: 1ex 1em 0 1em; }
strong.ocaml{ color: #333b8e; }
strong.highlight { color: #FF0000; }
img.icon { border: 0; }
div.code { background: #E0E0E0; margin: 0.5ex 0.5em 0 0.5em; padding: 0.2ex; }
div.xmlcode { background:#ebefa2; margin: 0.5ex 0.5em 0 0.5em; padding: 0.2ex;}
div.code {
border: solid #dadada 3px;
margin: 0.5ex 3.5em 0.5ex 3.5em;
padding: 0 0 1ex 0;
}
div.xmlcode {
border: solid #dadada 3px;
margin: 0.5ex 0.5em 0 0.5em;
padding: 0.2ex;
}
div.abstract {
margin: 1ex 1em 1ex 1em;
......@@ -35,6 +88,7 @@ div.note {
margin: 1ex 3em 1ex 3em;
padding: 1ex 1em 1ex 1em;
background: #D0E2D2;
border: solid #000000 1px;
}
div.session
......@@ -44,4 +98,6 @@ div.session
border: solid .5px gray;
}
div.abstract p { font-family: sans-serif; font-size:12px; }
div.abstract p {
font-family: sans-serif; font-size:12px;
}
......@@ -151,26 +151,11 @@ let link_to (<page (r)>[<title>t _* ] & p : Page) : H.a =
| _ -> t in
<a href=(url_of_page p)>t
let small_box (x : H.Flow) : H.Block =
<table cellpadding="2" class="smallbox" width="100%">
[ <tr> [<td>x] ]
let meta (x : H.Flow) : H.Block =
<table cellpadding="2"
style="border: solid 1px #b0b0b0; background: #e0e0e0; font-size: 80%"
width="100%">
[ <tr> [<td>x] ]
let small_box (x : H.Flow) : H.Block = <div class="smallbox">x
let meta (x : H.Flow) : H.Block = <div class="meta">x
let box_title (x : H.Flow, a : String, t : String) : H.Block =
<table cellpadding="2" class="box" width="100%">
[ <tr>[
<td style="background: #fff0f0; color: #0000ff; font: bold 100%
helvetica">[<a name=a>t] ]
<tr> [<td>x] ]
let box (x : H.Flow) : H.Block =
<table cellpadding="2" class="box" width="100%">
[ <tr> [<td>x] ]
<div>[ <h2>[<a name=a>t ] !x ]
let box (x : H.Flow) : H.Block = <div>[ !x ]
type PageO = Page | []
......@@ -283,7 +268,7 @@ match page with
let content (t : Content) : H.Flow =
transform t with
| <section title=title>c ->
[ <p>[ <b style="color: #008000">title ] !(content c) ]
[ <h3>title !(content c) ]
| <paper (r)>[ <title>tit aut::Author* <comment>com <abstract>ab ] ->
[ (match r with
| { file = f; old = "" } -> <a class="old" href=f>tit
......@@ -373,18 +358,10 @@ match page with
let left = match navig with [] -> [ [<boxes-toc>[]] ] | n -> n in
[
<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;']>"*"
<table cellpadding="0" cellspacing="15" id="leftbar"
width="200"
style="font-size:80%; border: 1px dashed black;
background: #ffcd72"> (* altbg 9aa8ba *)
(map left with x -> <tr>[ <td>[ (small_box (content x)) ] ]) ] ]
<td valign="top" align="left" style="width:20%;">[
<div class="leftbar" id="leftbar">
(map left with x -> small_box (content x)) ]
]
else [] in
let dpath : H.Inlines = transform path with
......@@ -430,23 +407,10 @@ match page with
| [] -> raise "Empty page !"
| x -> x in
let right : H.td =
<td valign="top" align="left" style="width:100%">[
<table width="100%">[
<tr>[ <td valign="top" align="left"
style="border: 2px solid black; background: #ffffff;
text-align:center; color: #aa0000; font: bold 200% helvetica">
(text banner)
]
<tr>[
<td valign="top" align="left"
style="border: 1px solid black; background: #fccead">[
(* altbg c8ccd1 *)
<table width="100%" cellpadding="0" cellspacing="17">
(map main with x -> <tr>[ <td>[x] ])
] ]
] ] in
let right =
[ <h1>(text banner)
<div class="mainpanel">[ !main ] ]
in
let html : H.html =
<html>[
......@@ -456,13 +420,9 @@ text-align:center; color: #aa0000; font: bold 200% helvetica">
<link rel="stylesheet" href="cduce.css" type="text/css">[]
!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 *)
<table cellspacing="10" cellpadding="0" width="100%" border="0">[
<tr>[ !left right ]
<body style="margin: 0; padding : 0;">[
<table cellspacing="10" cellpadding="0" width="100%" border="0">[
<tr>[ !left <td>right ]
]
]
]
......
<?xml version="1.0" encoding="ISO-8859-1" standalone="yes"?>
<page name="soutenance">
<title>Alain Frisch Ph.D defense</title>
<title>Alain Frisch's Ph.D defense</title>
<box title="Introduction" link="intro">
......
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