Nomenclature plus simple pour les icones.

ecrire/inc_documents.php3

@@ -200,10 +200,10 @@ function afficher_document($id_document, $id_doc_actif = 0) {
 	echo "<input type='hidden' name='modif_document' value='oui'>";
 
 	echo "<b>Titre&nbsp;:</b><br>\n";
-	echo "<INPUT TYPE='text' NAME='titre' CLASS='formo' VALUE=\"".htmlspecialchars($titre)."\" SIZE='40'><br>";
+	echo "<input type='text' name='titre' class='formo' value=\"".htmlspecialchars($titre)."\" size='40'><br>";
 
 	echo "<b>Description&nbsp;:</b><br>\n";
-	echo "<textarea name='descriptif' CLASS='forml' ROWS='5' COLS='*' wrap='soft'>";
+	echo "<textarea name='descriptif' rows='5' class='formo' cols='*' wrap='soft'>";
 	echo htmlspecialchars($descriptif);
 	echo "</textarea>\n";
 
@@ -227,7 +227,7 @@ function afficher_document($id_document, $id_doc_actif = 0) {
 			$taille_vignette = $vignette->get('taille');
 		}
 
-		echo "<td width='150' align='center' valign='top'>\n";
+		echo "<td align='center' valign='top'>\n";
 		echo "<div style='border: 1px dashed black; padding: 4px; background-color: #fdf4e8;'>\n";
 
 		if ($fichier_vignette) {

ecrire/inc_texte.php3

@@ -73,19 +73,32 @@ function vignette_par_defaut($type_extension, $align = '') {
 	else
 		$img = "IMG/icones";
 
-	$filename = "$img/type_$type_extension";
+	$filename = "$img/$type_extension";
 
+	// Glurps !
 	if (file_exists($filename.'.png')) {
 		$vig = "$filename.png";
 	}
+	else if (file_exists($filename.'.gif')) {
+		$vig = "$filename.gif";
+	}
 	else if (file_exists($filename.'-dist.png')) {
 		$vig = "$filename-dist.png";
 	}
-	else if (file_exists("$img/type_defaut.png")) {
-		$vig = "$img/type_defaut.png";
+	else if (file_exists($filename.'-dist.gif')) {
+		$vig = "$filename-dist.gif";
+	}
+	else if (file_exists("$img/defaut.png")) {
+		$vig = "$img/defaut.png";
+	}
+	else if (file_exists("$img/defaut.gif")) {
+		$vig = "$img/defaut.gif";
+	}
+	else if (file_exists("$img/defaut-dist.png")) {
+		$vig = "$img/defaut-dist.png";
 	}
-	else if (file_exists("$img/type_defaut-dist.png")) {
-		$vig = "$img/type_defaut-dist.png";
+	else if (file_exists("$img/defaut-dist.gif")) {
+		$vig = "$img/defaut-dist.gif";
 	}
 
 	$texte = "<img src='$vig' alt='$type_extension' border='0'";