Modifica font file .txt

**Spanettone** · 14-01-2025, 19.46.03

ho il seguente problema:

sul mio sito sono ospitati diversi file .txt e, cliccando sui link, si apre una nuova pagina, dove leggere il contenuto del rispettivo file .txt (l'indirizzo della nuova pagina termina in .txt, quindi non si tratta di una pagina html)

io vorrei cambiare il font utilizzato da altervista per visualizzare il testo in questa nuova pagina (ad esempio, da Arial a Courier New, o viceversa)

come posso fare?

grazie

**GraphOGLRisorse** · 14-01-2025, 20.21.12

Salve,
guardando il sito non mi sembra che sia fatto con CMS o altro applicativo web.

Trattandosi di file *.txt, i font con cui vengono visulalizzati i rispettivi contenuti, non dipendono da AlterVista ma dal browser con cui si visualizzano.

Un file *.txt non ha proprietà d'interpretazione codice (o markup) come per HTML. Per impostare un font per la visualizzazione di un file *.txt, si può fare uso di uno script, ad esempio in PHP, che carichi il file. Quindi poi con CSS si applica il font che si vuole.

Qulcosa ad esempio tipo:

Codice PHP:


<!DOCTYPE html>
<html lang="it">
<head>
<title></title>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1">
<style>
.p1 {
  font-family: Arial, Helvetica, sans-serif;
}
</style>
</head>
<body>

<?php
$filename = '/path/file.txt';

if(file_exists($filename)){
  $filetxt = file_get_contents($filename);
  echo '<p class="p1">$filetxt</p>';
}else{
  echo 'Il file $filename non esiste.';
}
?>

</body>
</html>

Coediali saluti.

**Spanettone** · 15-01-2025, 11.42.13

grazie per il consiglio

Discussione: Modifica font file .txt

LinkBack

Strumenti discussione

Display

Modifica font file .txt

Regole di scrittura