// JavaScript Document
if (navigator.platform != "Win32") {
  document.write('<link rel="stylesheet" href="fileadmin/style-mac.css">');
}