// Macintosh
if (navigator.userAgent.indexOf('Mac') >= 0) {
var cssFile = 'html/eo/mac.css';
document.write('<LINK rel="stylesheet" href="'+cssFile+'">');
}
// Windows
else if (navigator.userAgent.indexOf('Win') >= 0) {
var cssFile = 'html/eo/win.css';
document.write('<LINK rel="stylesheet" href="'+cssFile+'">');
}