1 #ifdef i386
2 #undef i386
3 #endif
4 #ifdef UNIX
5 #undef UNIX
6 #endif
7 #ifdef unix
8 #undef unix
9 #endif
10 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
11 
12 <!-- This is the first part of every page here -->
13 
14 <html>
15 <head>
16 
17   <style type="text/css">
18   <!--
19   body {margin-top: 0; margin-left: 0;}
20   a {text-decoration: none; font-weight: bold;}
21   a:hover {color: #9999CC;}
22   strong {color: #CC0000;}
23   h1 {margin-top: 0.5em; margin-bottom: 0.1em; text-align: center; color: #000066;}
24   h3 {margin-top: 10; color: #333333;}
25   h4 {margin-top: 0.1em; text-align: center;}
26   }
27 
28   -->
29   </style>
30