header.html

<!DOCTYPE html>
<html lang="it"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
    <title>Tempora Sanguinis</title>
	<meta name="description" content="Benvenuto avventuriero! Gioca a Tempora Sanguinis, il gioco di ruolo e d'azione testuale (Mud A-RPG).">
    <meta name="viewport" content="width=device-width, initial-scale=1, maximum-scale=1, minimum-scale=1, user-scalable=no">
    <link rel="icon" type="image/png" href="./sitefiles/favicon-32x32.png">
    <link rel="stylesheet" href="./sitefiles/all.css">
	<script>
		/* we don't have a real server, just hosting a HTML file as wrapper
		   make it expire every month so if an update is pushed, we cannot rely on the response caching headers */
		var dt = new Date();dt.setDate((dt.getDate()+31));
		document.write('<meta http-equiv="expires" content="' + dt.toGMTString() + '"/>');
  	</script>
  </head>
  <body>