if (is.ns) {
   if (navigator.userAgent.indexOf("Win") != -1) { // windows platform
        mystyles = '.normal {font-size: 9pt; line-height:12pt; font-family: Trebuchet MS,Verdana,Arial,Helvetica;}\n';
        mystyles += '.head {font-size: 9pt; line-height:12pt; font-family: Trebuchet MS,Verdana,Arial,Helvetica; font-weight:bold;}\n';
        mystyles += '.green {font-size: 9pt; line-height:12pt; font-family: Trebuchet MS,Verdana,Arial,Helvetica; font-weight:bold; text-decoration: none; color: #33cc00;}\n';
        mystyles += 'a {font-size: 9pt; line-height:12pt; font-family: Trebuchet MS,Verdana,Arial,Helvetica; font-weight:bold; text-decoration: none; color: #33cc00;}\n';
        mystyles += 'a.slim {font-size: 7pt; line-height:10pt; font-family: Trebuchet MS,Verdana,Arial,Helvetica; font-weight:normal; text-decoration: none; color: #33cc00;}\n';
        mystyles += '.slim {font-size: 7pt; line-height:10pt; font-family: Trebuchet MS,Verdana,Arial,Helvetica;}\n';
   } else { // X11 or mac
        mystyles = '.normal {font-size: 12pt; line-height:15pt; font-family: Trebuchet MS,Verdana,Arial,Helvetica;}\n';
        mystyles += '.head {font-size: 12pt; line-height:15pt; font-family: Trebuchet MS,Verdana,Arial,Helvetica; font-weight:bold;}\n';
        mystyles += '.green {font-size: 12pt; line-height:15pt; font-family: Trebuchet MS,Verdana,Arial,Helvetica; font-weight:bold; text-decoration: none; color: #33cc00;}\n';
        mystyles += 'a {font-size: 12pt; line-height:15pt; font-family: Trebuchet MS,Verdana,Arial,Helvetica; font-weight:bold; text-decoration: none; color: #33cc00;}\n';
        mystyles += 'a.slim {font-size: 10pt; line-height:13pt; font-family: Trebuchet MS,Verdana,Arial,Helvetica; font-weight:normal; text-decoration: none; color: #33cc00;}\n';
        mystyles += '.slim {font-size: 10pt; line-height:13pt; font-family: Trebuchet MS,Verdana,Arial,Helvetica;}\n';
   }
} else {
        mystyles = '.normal {font-size: 9pt; line-height:12pt; font-family: Trebuchet MS,Verdana,Arial,Helvetica;}\n';
        mystyles += '.head {font-size: 9pt; line-height:12pt; font-family: Trebuchet MS,Verdana,Arial,Helvetica; font-weight:bold;}\n';
        mystyles += '.green {font-size: 9pt; line-height:12pt; font-family: Trebuchet MS,Verdana,Arial,Helvetica; font-weight:bold; text-decoration: none; color: #33cc00;}\n';
        mystyles += 'a {font-size: 9pt; line-height:12pt; font-family: Trebuchet MS,Verdana,Arial,Helvetica; font-weight:bold; text-decoration: none; color: #33cc00;}\n';
        mystyles += 'a.slim {font-size: 7pt; line-height:10pt; font-family: Trebuchet MS,Verdana,Arial,Helvetica; font-weight:normal; text-decoration: none; color: #33cc00;}\n';
        mystyles += '.slim {font-size: 7pt; line-height:10pt; font-family: Trebuchet MS,Verdana,Arial,Helvetica;}\n';
}