sniffer.js 11 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104
  1. <!-- Start hiding
  2. window.onerror=null;
  3. var client=navigator.userAgent.toLowerCase();
  4. var WinStyle = "<STYLE NAME=WINDOWS>\n" +
  5. "body,p {font-family: verdana,helvetica,arial,sans-serif; font-size:10pt; margin-bottom: 10; margin-top: 0; } \n" +
  6. "th,tr,td,br,li,dl,dd,ul,ol,li {font-family: verdana,helvetica,arial,sans-serif; font-size:10pt; } \n" +
  7. ".booktitle {color: #666666; font-family: timesnewroman,times,palatino,serif; font-weight: bold; margin-bottom: 0; margin-top: 0; font-size:18pt;} \n" +
  8. ".callout {font-family: verdana,helvetica,arial,sans-serif; font-size: 8pt;} \n" +
  9. ".calloutlarge {font-family: verdana,helvetica,arial,sans-serif; font-size: 9pt;} \n" +
  10. ".calloutlargebold {font-family: verdana,helvetica,arial,sans-serif; font-size: 9pt; font-weight: bold;} \n" +
  11. ".calloutsmall {font-family: verdana,helvetica,arial,sans-serif; font-size: 7pt; font-weight: normal;} \n" +
  12. ".caption {font-family: verdana,helvetica,arial,sans-serif; font-weight: bold; color: black; margin-bottom: 5; margin-top: 10; font-size: 10pt;} \n" +
  13. ".caution {font-family: verdana,helvetica,arial,sans-serif; font-size:10pt; font-weight: bold; margin-bottom: 0; margin-top: 0; } \n" +
  14. "code {font-family: courier,couriernew,monospaced; font-size: 10pt; margin-bottom: 0; margin-bottom:0; margin-top: 0;} \n" +
  15. ".code {font-family: courier,couriernew,monospaced; font-size:10pt; margin-bottom: 10; margin-top: 0; } \n" +
  16. ".copy {font-family: verdana,helvetica,arial,sans-serif; font-size:8pt; margin-bottom: 0; margin-top: 0;} \n" +
  17. ".footnote {font-family: verdana,helvetica,arial,sans-serif; font-size:10pt; } \n" +
  18. ".gloss {font-family: verdana,helvetica,arial,sans-serif; font-size:10pt; margin-bottom: 10; margin-top: 0; } \n" +
  19. ".grouptitleix {font-family: verdana,helvetica,arial,sans-serif; font-weight: bold; color: black; margin-bottom: 10; margin-top: 20; font-size: 12pt;} \n" +
  20. ".h1 {font-family: verdana,helvetica,arial,sans-serif; font-weight: normal; color: black; margin-bottom: 20; margin-top: 10; font-size: 16pt;} \n" +
  21. ".h2 {font-family: verdana,helvetica,arial,sans-serif; font-weight: normal; color: black; margin-bottom: 10; margin-top: 30; font-size: 15pt;} \n" +
  22. ".h3 {font-family: verdana,helvetica,arial,sans-serif; font-weight: normal; color: black; margin-bottom: 10; margin-top: 20; font-size: 12pt;} \n" +
  23. ".h4 {font-family: verdana,helvetica,arial,sans-serif; font-style: italic; font-color: black;margin-bottom: 0; margin-top: 16; font-size: 11pt;} \n" +
  24. ".h5 {font-family: verdana,helvetica,arial,sans-serif; font-weight: normal; color: black; margin-bottom: 0; margin-top: 0; font-size: 8pt;} \n" +
  25. ".navigation {font-family: verdana,helvetica,arial,sans-serif; font-weight: bold; color: #006666; margin-bottom: 0; margin-top: 0; font-size:10pt;} \n" +
  26. ".note {font-family: verdana,helvetica,arial,sans-serif; font-size:10pt; font-weight: bold; margin-bottom: 0; margin-top: 0; } \n" +
  27. "pre {font-family: courier,couriernew,monospaced; font-size: 10pt; margin-bottom: 0; } \n" +
  28. ".product {color: #666666; font-family: timesnewroman,times,palatino,serif; font-weight: normal; margin-bottom: 0; margin-top: 0; font-size:18pt;} \n" +
  29. ".refhead {font-family: verdana,helvetica,arial,sans-serif; font-weight: bold; color: black; margin-bottom: 4; margin-top: 15; font-size: 11pt;} \n" +
  30. ".tabletext {font-family: verdana,helvetica,arial,sans-serif; font-size:10pt; margin-bottom: 6; margin-top: 0; } \n" +
  31. ".tabletextright {align: right; valign: top; font-family: verdana,helvetica,arial,sans-serif; font-size:10pt; margin-bottom: 6; margin-top: 0; } \n" +
  32. ".tablehead {text-align: left;font-family: verdana,helvetica,arial,sans-serif; font-weight: bold; font-size:10pt; margin-bottom: 4; margin-top: 0; } \n" +
  33. ".text {font-family: verdana,helvetica,arial,sans-serif; font-size:10pt; margin-bottom: 16; margin-top: 0; } \n" +
  34. ".tip {font-family: verdana,helvetica,arial,sans-serif; font-size:10pt; font-weight: bold; margin-bottom: 0; margin-top: 0; } \n" +
  35. ".title {font-family: verdana,helvetica,arial,sans-serif; font-weight: normal; color: black;margin-bottom: 30; margin-top: 16; font-size: 16pt;} \n" +
  36. ".toc1 {font-family: verdana,helvetica,arial,sans-serif; font-size: 11pt; font-weight: bold; margin-bottom: 0; margin-top: 30; margin-left: 30;} \n" +
  37. ".tocc {font-family: verdana,helvetica,arial,sans-serif; font-size: 11pt; font-weight: bold; margin-bottom: 0; margin-top: 7; margin-left: 30;} \n" +
  38. ".tocg {font-family: verdana,helvetica,arial,sans-serif; font-size: 11pt; font-weight: bold; margin-bottom: 0; margin-top: 30; margin-left: 30;} \n" +
  39. ".tochead1 {font-family: verdana,helvetica,arial,sans-serif; font-size: 10pt; font-weight: normal; margin-bottom: 0; margin-top: 2; margin-left: 30;} \n" +
  40. ".tochead2 {font-family: verdana,helvetica,arial,sans-serif; font-size: 10pt; font-weight: normal; margin-bottom: 0; margin-top: 2; margin-left: 60;} \n" +
  41. ".tochead3 {font-family: verdana,helvetica,arial,sans-serif; font-size: 10pt; font-weight: normal; margin-bottom: 0; margin-top: 2; margin-left: 90;} \n" +
  42. ".tocnontoc {font-family: verdana,helvetica,arial,sans-serif; font-size: 10pt; font-weight: normal; margin-left: 0;} \n" +
  43. ".tocpart {font-family: verdana,helvetica,arial,sans-serif; font-size:13pt; font-weight: bold; margin-bottom: 0; margin-top: 20;} \n" +
  44. ".update {text-align: right; font-family: verdana,helvetica,arial,sans-serif; font-size:8pt; margin-bottom: 0; margin-top: 0; margin-right: 20pt;} \n" +
  45. ".variable {font-family: palatino, times, serif; font-style: italic;} \n" +
  46. "</style>";
  47. var OtherStyle = "<style name=NOTWINDOWS>\n" +
  48. "body,p {font-family: verdana,helvetica,arial,sans-serif; font-size:15pt; margin-bottom: 0; margin-top: 14; } \n" +
  49. "th,tr,td,br,li,dl,dd,ul,ol,li {font-family: verdana,helvetica,arial,sans-serif; font-size:15pt; } \n" +
  50. ".booktitle {color: #666666; font-family: timesnewroman,times,palatino,serif; font-weight: bold; margin-bottom: 0; margin-top: 0; font-size: 23pt;} \n" +
  51. ".callout {font-family: verdana,helvetica,arial,sans-serif; font-size: 11pt;} \n" +
  52. ".calloutlarge {font-family: verdana,helvetica,arial,sans-serif; font-size: 12pt;} \n" +
  53. ".calloutlargebold {font-family: verdana,helvetica,arial,sans-serif; font-size: 12pt; font-weight: bold;} \n" +
  54. ".calloutsmall {font-family: verdana,helvetica,arial,sans-serif; font-size: 9pt; font-weight: normal;} \n" +
  55. ".caption {font-family: verdana,helvetica,arial,sans-serif; font-weight: bold; color: black; margin-bottom: 5; margin-top: 16; font-size: 15pt;} \n" +
  56. ".caution {font-family: verdana,helvetica,arial,sans-serif; font-size:15pt; font-weight: bold; margin-bottom: 0; margin-top: 14; } \n" +
  57. "code {font-family: courier,couriernew,monospaced; font-size: 15pt; margin-bottom: 0; margin-bottom:0; margin-top: 0;} \n" +
  58. ".code {font-family: courier,couriernew,monospaced; font-size:15pt; margin-bottom: 0; margin-top: 13; } \n" +
  59. ".copy {font-family: verdana,helvetica,arial,sans-serif; font-size:10pt; margin-bottom: 0; margin-top: 0;} \n" +
  60. ".footnote {font-family: verdana,helvetica,arial,sans-serif; font-size:15pt; } \n" +
  61. ".gloss {font-family: verdana,helvetica,arial,sans-serif; font-size:15pt; margin-bottom: 14; margin-top: 14; } \n" +
  62. ".grouptitleix {font-family: verdana,helvetica,arial,sans-serif; font-weight: bold; color: black; margin-bottom: 10; margin-top: 20pt; font-size: 19pt;} \n" +
  63. ".h1 {font-family: verdana,helvetica,arial,sans-serif; font-weight: normal; color: black; margin-bottom: 20; margin-top: 10; font-size: 24pt;} \n" +
  64. ".h2 {font-family: verdana,helvetica,arial,sans-serif; font-weight: normal; color: black; margin-bottom: 4; margin-top: 35; font-size: 22pt;} \n" +
  65. ".h3 {font-family: verdana,helvetica,arial,sans-serif; font-weight: normal; color: black; margin-bottom: 10; margin-top: 25; font-size: 18pt;} \n" +
  66. ".h4 {font-family: verdana,helvetica,arial,sans-serif; font-style: italic; font-color: black;margin-bottom: 0; margin-top: 22; font-size: 15pt;} \n" +
  67. ".h5 {font-family: verdana,helvetica,arial,sans-serif; font-weight: normal; color: black; margin-bottom: 0; margin-top: 16; font-size: 15pt;} \n" +
  68. ".navigation {font-family: verdana,helvetica,arial,sans-serif; font-weight: bold; color: #006666; margin-bottom: 0; margin-top: 0; font-size:14pt;} \n" +
  69. ".note {font-family: verdana,helvetica,arial,sans-serif; font-size:15pt; font-weight: bold; margin-bottom: 0; margin-top: 14; } \n" +
  70. "pre {font-family: courier,couriernew,monospaced; font-size: 15pt; margin-bottom: 0; } \n" +
  71. ".product {color: #666666; font-family: timesnewroman,times,palatino,serif; font-weight: normal; margin-bottom: 0; margin-top: 0; font-size: 23pt;} \n" +
  72. ".refhead {font-family: verdana,helvetica,arial,sans-serif; font-weight: bold; color: black; margin-bottom: 4; margin-top: 20; font-size: 15pt;} \n" +
  73. ".tabletext {font-family: verdana,helvetica,arial,sans-serif; font-size:15pt; margin-bottom: 4; margin-top: 6; } \n" +
  74. ".tabletextright {align: right; valign: top; font-family: verdana,helvetica,arial,sans-serif; font-size:15pt; margin-bottom: 4; margin-top: 6; } \n" +
  75. ".tablehead {text-align: left;font-family: verdana,helvetica,arial,sans-serif; font-weight: bold; font-size:15pt; margin-bottom: 4; margin-top: 0; } \n" +
  76. ".text {font-family: verdana,helvetica,arial,sans-serif; font-size:15pt; margin-bottom: 8; margin-top: 14; } \n" +
  77. ".tip {font-family: verdana,helvetica,arial,sans-serif; font-size:15pt; font-weight: bold; margin-bottom: 0; margin-top: 14; } \n" +
  78. ".title {font-family: verdana,helvetica,arial,sans-serif; font-weight: normal; color: black; margin-bottom: 30; margin-top: 16; font-size: 24pt;} \n" +
  79. ".toc1 {font-family: verdana,helvetica,arial,sans-serif; font-size: 16pt; font-weight: bold; margin-bottom: 0; margin-top: 30; margin-left: 30;} \n" +
  80. ".tocc {font-family: verdana,helvetica,arial,sans-serif; font-size: 16pt; font-weight: bold; margin-bottom: 0; margin-top: 7; margin-left: 30;} \n" +
  81. ".tocg {font-family: verdana,helvetica,arial,sans-serif; font-size: 16pt; font-weight: bold; margin-bottom: 0; margin-top: 30; margin-left: 30;} \n" +
  82. ".tochead1 {font-family: verdana,helvetica,arial,sans-serif; font-size: 15pt; font-weight: normal; margin-bottom: 0; margin-top: 2; margin-left: 30;} \n" +
  83. ".tochead2 {font-family: verdana,helvetica,arial,sans-serif; font-size: 15pt; font-weight: normal; margin-bottom: 0; margin-top: 2; margin-left: 60;} \n" +
  84. ".tochead3 {font-family: verdana,helvetica,arial,sans-serif; font-size: 15pt; font-weight: normal; margin-bottom: 0; margin-top: 2; margin-left: 90;} \n" +
  85. ".tocnontoc {font-family: verdana,helvetica,arial,sans-serif; font-size: 15pt; font-weight: normal; text-indent: 0;} \n" +
  86. ".tocpart {font-family: verdana,helvetica,arial,sans-serif; font-size:18pt; font-weight: bold; margin-bottom: 0; margin-top: 20;} \n" +
  87. ".update {text-align: right; font-family: verdana,helvetica,arial,sans-serif; font-size:10pt; margin-bottom: 0; margin-top: 0; margin-right: 20pt;} \n" +
  88. ".variable {font-family: palatino, times, serif; font-style: italic;} \n" +
  89. "</style>";
  90. if ( client.indexOf("win") != -1 ){
  91. document.write( WinStyle );
  92. }else{
  93. document.write( OtherStyle );
  94. }
  95. // End hiding -->