bib_fonctions.php

    <?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>';
    }
    ?>