Rev 125 | Rev 129 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 125 | Rev 127 | ||
|---|---|---|---|
| Line 97... | Line 97... | ||
| 97 | min-width: 0.65em;  | 
            97 | min-width: 0.65em;  | 
          
| 98 | }  | 
            98 | }  | 
          
| 99 | -->  | 
            99 | -->  | 
          
| 100 | </style>  | 
            100 | </style>  | 
          
| 101 | <?php /*  | 
            101 | <?php /*  | 
          
| 102 |     <script type="text/javascript" src="scripts/object.js"></script>
 | 
            - | |
| 103 |     <script type="text/javascript" src="scripts/dom.js"></script>
 | 
            - | |
| 104 |     <script type="text/javascript" src="scripts/dom/css.js"></script>
 | 
            - | |
| 105 |     <script type="text/javascript" src="scripts/dom/css/color.js"></script>
 | 
            102 |     <script type="text/javascript" src="scripts/builder?src=object,dom,dom/css,dom/css/color,dom/ani,dom/window"></script>
 | 
          
| 106 |     <script type="text/javascript" src="scripts/dom/ani.js"></script>
 | 
            - | |
| 107 | */ ?>  | 
            103 | */ ?>  | 
          
| 108 | <script type="text/javascript">  | 
            104 | <script type="text/javascript">  | 
          
| 109 | function setStatus (text)  | 
            - | |
| 110 |       {
 | 
            - | |
| 111 | window.status = String(text);  | 
            - | |
| 112 | return true;  | 
            - | |
| 113 | }  | 
            - | |
| 114 | - | ||
| 115 | function resetStatus ()  | 
            - | |
| 116 |       {
 | 
            - | |
| 117 | window.status = window.defaultStatus;  | 
            - | |
| 118 | return true;  | 
            - | |
| 119 | }  | 
            - | |
| 120 | <?php /*  | 
            105 | <?php /*  | 
          
| 121 |       /* Hardcore Frame Buster
 | 
            106 |       /* Hardcore Frame Buster
 | 
          
| 122 |       if (parent.frames.length > 0 )
 | 
            107 |       if (parent.frames.length > 0 )
 | 
          
| 123 |         parent.location.href = window.location.href;
 | 
            108 |         parent.location.href = window.location.href;
 | 
          
| 124 | */ ?>  | 
            109 | */ ?>  |