Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
cduce
cduce
Commits
4eca57e4
Commit
4eca57e4
authored
Oct 05, 2007
by
Pietro Abate
Browse files
[r2006-12-19 21:23:17 by afrisch] new design
Original author: afrisch Date: 2006-12-19 21:23:17+00:00
parent
35bdd0e7
Changes
3
Hide whitespace changes
Inline
Side-by-side
web/cduce.css
View file @
4eca57e4
/**** 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
1
em
0
1em
;
}
p
{
text-align
:
justify
;
margin
:
1ex
3
em
0
em
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
;
}
web/site.cd
View file @
4eca57e4
...
...
@@ -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
9
aa8ba
*
)
(
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
4
e6e99
*
)
<
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
]
]
]
]
...
...
web/soutenance.xml
View file @
4eca57e4
<?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"
>
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment