<?php
//
// Bibliothèque de fonctions PHP
//
//___________________________________________________________________
/**
* Envoie à la sortie standard le début du code HTML d'une page
*
* @param string $titre Titre de la page
*/
function htmlDebut($titre) {
$titre = htmlentities($titre, ENT_COMPAT, 'ISO-8859-1');
echo '<!DOCTYPE html>',
'<html>',
'<head>',
'<meta charset="ISO-8859-1">',
'<title>', $titre, '</title>',
'<style>',
'body { font-size: 13px;',
'font-family: Verdana, sans-serif}',
'h3 { font-size: 15px;',
'margin: 0 0 15px 0;',
'padding: 5px 0;',
'text-align: center;',
'background: #FFF5AB}',
'h4 { font-size: 13px;',
'margin: 1em 0 0 0;',
'padding: 3px;',
'background: #ebebeb}',
'</style>',
'</head>',
'<body>',
'<h3>', $titre, '</h3>';
}
//___________________________________________________________________
/**
* Envoie à la sortie standard la fin du code HTML d'une page
*/
function htmlFin() {
echo '</body></html>';
}
?>