Commit 3f87b380 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2003-02-06 12:06:46 by cvscast] Empty log message

Original author: cvscast
Date: 2003-02-06 12:06:46+00:00
parent 99251bd3
body {
background: #BBDDFF;
color: #000000;
margin: 1ex 0 1ex 0;
padding: 0;
background: #c63d0b;
margin: 0 0 0 0;
padding: 1ex 1em 3ex 1em;
}
a:link:hover, a:visited:hover {
......@@ -12,11 +11,11 @@ a:link:hover, a:visited:hover {
}
h1 {
color: #aa0000;
color: #FFFFFF;
text-align: center;
margin: 0ex 0em 0ex 0em;
padding: 0ex;
font: bold 200% helvetica;
font: bold 500% helvetica;
}
h2 {
background: #FFF0F0;
......@@ -26,16 +25,16 @@ h2 {
font: bold 102% helvetica;
}
h3 {
padding: 0 0 0 2em;
margin: 0 0 0 0;
font: bold 60% sans-serif;
}
h4 {
font: bold 100% helvetica;
color: #008000;
padding: 0 0 0 1em;
margin: 1em 0 0 0;
}
h4 {
padding: 0 0 0 2em;
margin: 0 0 0 0;
font: bold 60% sans-serif;
}
p {
text-align: justify;
margin: 1ex 1em 0 1em;
......@@ -85,10 +84,10 @@ div.box {
}
div.title {
background: #FFFFFF;
background: #2a7dc5;
color:#FFFFFF;
border: solid 2px #000000;
margin:10px 1em 10px 225px;
margin:10px 1em 10px 225px;
padding: 0ex 0ex 0ex 0ex;
}
div.meta {
......@@ -99,9 +98,4 @@ div.meta {
font-size: 80%;
font-family: sans-serif;
}
@media screen {
body {
background: #fcb333;
}
}
......@@ -9,6 +9,7 @@
<chapter title="Ordres">
<intro>
Utilisés dans des calculs, mais quand même appelés nombres
<img src="carnot_dia.gif"/>
</intro>
<section title="Lazare Carnot">
<img src="carnot.gif"/>
......
(* An approximation of HTML *)
type Flow = Char | Block | Inline | Misc;;
type Block = P | Heading | Div | Lists | Table | Blocktext;;
type Flow = Char | Block | Inline ;;
type Block = P | Heading | Div | Lists | Table | Blocktext | Misc;;
type Lists = Ul;;
type Blocktext = Pre | Hr | Blockquote | Address;;
type Blocktext = Pre | Hr | Blockquote | Address | Center;;
type Inline = Char | A | Special | Fontstyle | Phrase ;;
type Fontstyle = Tt | I | B | Big | Small;;
type Phrase = Em | Strong | Code;;
type Special = Br;;
type Misc = Empty;;
type Misc = Image | Formula;;
type Html = <html>[ Head Body ];;
type Head = <head>[ Title <link>[ ]];;
......@@ -17,7 +17,7 @@ type Body = <body bgcolor=?String>[ Block* ];;
type Div = <div>[ Flow* ];;
type P = <p>[ Inline* ];;
type Heading = <(`h1 | `h2)>[ Inline* ];;
type Heading = <(`h1 | `h2 | `h3 | `h4)>[ Inline* ];;
type Ul = <ul>[Li+];;
type Li = <li>[ Flow* ];;
......@@ -26,6 +26,7 @@ type Address = <address>[ Inline* ];;
type Hr = <hr>[];;
type Pre = <pre>[ (PCDATA | A | Fontstyle | Phrase | Br)* ];;
type Blockquote = <blockquote>[ Block* ];;
type Center = <center>[ Block* ];;
type A = <a ({ name = String } | { href = String })>[ (Inline \ A)* ];;
type Br = <br>[];;
......@@ -50,7 +51,7 @@ type Name = <name> String;;
type HomeAddress = <home> String;;
type Salary = <euros> String;;
type Chapter = <chapter title=String>[Intro Section+];;
type Intro = <intro> String;;
type Intro = <intro>[(Content)+];;
type Section = <section title=String>[(Content | Subsection)+];;
type Content = Char | Image | Formula | Outline;;
type Image = <img src=String; style=?String; size=?String >[ ];;
......@@ -79,28 +80,36 @@ let book =
let src : Html =
let [ <title>title
<author>[<name>name ;_]
<chapter title=ct>[ <intro>i <section> history (sections::_*) ] ;_
<chapter title=ct>[ <intro>(intro&[(Flow&Content)+]|(intro:=`nil))
<section title=ht>(history&[(Flow&Content)+]|(history:=`nil))
(sections::_*)
] ;_
] = book in
<html xmlns="http://www.w3.org/1999/xhtml">[
<head>[ <title> title
<link rel="stylesheet"; href="livre.css"; type="text/css">[ ]
]
<body>[
<div class="title">[ <h1>[ !ct] ]
<div class="title">[ <h1>ct ]
<div id="Sidelog">[
<b>[!title] ' par ' <i>[!name]
<div class="box">[] (*toc*)
<div class="box">history (*history*)
<div class="box">[] (*toc*)
<div class="box">[ (*history*)
<center>[<h3>ht]
<br>[]
! (map history with (x&<_>_) -> <center>[x] | x ->x )
]
]
<div id="Content">[
<div class="box">[] (* intro *)
<div class="box"> (* intro *)
([<br>[]]@(transform intro with (x&<_>_) -> [<br>[] <center>[x]] | x -> [x] ))
]
]
];;
let page : String =
[ '<?xml version="1.0"?><!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1 plus MathML 2.0//EN"
[ '<?xml version="1.0" encoding="iso8859-1" ?><!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1 plus MathML 2.0//EN"
"http://www.w3.org/TR/MathML2/dtd/xhtml-math11-f.dtd" [
<!ENTITY mathml "http://www.w3.org/1998/Math/MathML">
]>']
......
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