font familiy style is set to sans-serif for non-latin1 charsets

This commit is contained in:
Loïc Chapeaux
2001-07-01 09:58:49 +00:00
parent a87441a490
commit 2644b9c424

View File

@@ -47,20 +47,18 @@ header('Content-Type: text/html; charset=' . $charset);
//--> //-->
</script> </script>
<script src="left.js" type="text/javascript" language="javascript1.2"></script> <script src="left.js" type="text/javascript" language="javascript1.2"></script>
<style type="text/css">
<!--
<?php <?php
// Hard coded font name and size depends on charset. This is a temporary and // Hard coded font name and size depends on charset. This is a temporary and
// uggly fix // uggly fix
if ($charset == 'iso-8859-1') { $font_family = ($charset == 'iso-8859-1')
?> ? 'Arial, Helvetica, sans-serif'
<style type="text/css"> : 'sans-serif';
<!-- ?>
body {font-family: Arial, Helvetica, sans-serif; font-size: 10pt} body {font-family: <?php echo $font_family; ?>; font-size: 10pt}
//--> //-->
</style> </style>
<?php
}
echo "\n";
?>
</head> </head>
<body bgcolor="#D0DCE0"> <body bgcolor="#D0DCE0">