On Thu, 2011-01-13 at 22:15 +1100, Gerwin Klein wrote: > On 13/01/2011, at 8:51 PM, Larry Paulson wrote:
> > Accented characters on our website no longer display correctly on > > Macs. I don't know precisely when this happened, but I'm sure it's > > fairly recent. In fact, the characters don't even display correctly > > in the HTML source. It may be a character encoding problem. Clearly, > > it renders correctly in Google Chrome but not in Firefox or Safari. The issue also shows up on Linux. > This issue is a bit strange. It shows up on my Mac as in your picture > from the Cambridge server, but it looks fine with the correct > characters from the Munich and Sydney servers. > > It may have more to do with what the server expects as encoding in the > source file than what the browser gets to see. Indeed this appears to be a configuration issue with the Cambridge web server. For some of my personal pages (also delivered from Cambridge), the W3C validator shows a warning The character encoding specified in the HTTP header (utf-8) is different from the value in the <meta> element (iso-8859-1). So it would seem that the Cambridge web server erroneously expects all web pages to be UTF-8 encoded. Kind regards, Tjark _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
