Subversion Repositories oidinfo_new_design

Rev

Rev 6 | Rev 33 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 6 Rev 14
Line 83... Line 83...
83 
 
 83 
 
84 
                <table cellspacing="0" cellpadding="0" border="0" width="100%">
 84 
                <table cellspacing="0" cellpadding="0" border="0" width="100%">
85 
 
 85 
 
86 
                        <tr>
 86 
                        <tr>
87 
                                <td valign="middle" width="55%">
 87 
                                <td valign="middle" width="55%">
88 
                                        <span class="page_title">Basic search</span>
 88 
                                        <span class="page_title">Quick search</span>
89 
                                </td>
 89 
                                </td>
90 
 
 90 
 
91 
                                <td width="28%" valign="middle" align="right">
 91 
                                <td width="28%" valign="middle" align="right">
92 
                                        <div id="menu">
 92 
                                        <div id="menu">
93 
                                                <ul>
 93 
                                                <ul>
94 
                                                        <li>
 94 
                                                        <li>
95 
                                                                <a href="advanced-search.htm">Advanced search</a>
 95 
                                                                <a href="advanced-search.htm">Advanced search</a>
96 
                                                        </li>
 96 
                                                        </li>
- 
 
 97 
                                                        <li>
- 
 
 98 
                                                                <a href="/cgi-bin/display?a=count_nodes">Number of OIDs <!--in the database-->recorded</a><!-- DM: Written "recorded" because it is shorter to fit in a single line -->
- 
 
 99 
                                                        </li>
97 
                                                </ul>
 100 
                                                </ul>
98 
                                        </div>
 101 
                                        </div>
99 
                                </td>
 102 
                                </td>
100 
                        </tr>
 103 
                        </tr>
101 
                </table>
 104 
                </table>
102 
                <form method="post" action="/cgi-bin/display" enctype="multipart/form-data">
 105 
                <form method="post" action="/cgi-bin/display" enctype="multipart/form-data">
103 
 
 106 
 
104 
                        <table cellspacing="0" cellpadding="0" border="0" width="100%" align="center">
 107 
                        <table cellspacing="0" cellpadding="0" border="0" width="100%" align="center">
105 
                         <tr>
 108 
                         <tr>
106 
                          <td align="left">
 109 
                          <td align="left">
107 
                           <p>This form allows for a quick search in the description
 110 
                           <p>This form allows for a quick search in the description
108 
                           of OIDs and their associated identifier(s). It works like a <b>web
 111 
                           of OIDs and their associated identifier(s). It works like a <b>web
109 
                           search</b>:</p>
 112 
                           search</b>:</p>
110 
                           <ul>
 113 
                           <ul>
111 
                            <li>Spaces between words are interpreted as &quot;AND&quot; (so all listed words do appear in the results) except if an explicit &quot;<code>OR</code>&quot; is mentioned between words.</li>
 114 
                            <li>Spaces between words are interpreted as &quot;AND&quot; (so all listed words do appear in the results) except if an explicit &quot;<code>OR</code>&quot; is mentioned between words.</li>
112 
                            <li>Words between quote marks (<code>&quot;</code>) are grouped together during the search.</li>
 115 
                            <li>Words between quote marks (<code>&quot;</code>) are grouped together during the search.</li>
113 
                            <li>Results containing a word preceded by a hyphen (<code>-</code>) will be excluded.</li>
 116 
                            <li>Results containing a word preceded by a hyphen (<code>-</code>) will be excluded.</li>
Line 115... Line 118...
115 
                            <li>Words are converted to a (shorter) normalized form based on an English dictionary.</li>
 118 
                            <li>Words are converted to a (shorter) normalized form based on an English dictionary.</li>
116 
                           </ul>
 119 
                           </ul>
117 
                           <p>For a more detailed search, consider doing an <a href="advanced-search.htm">advanced search</a>.</p>
 120 
                           <p>For a more detailed search, consider doing an <a href="advanced-search.htm">advanced search</a>.</p>
118 
                          </td>
 121 
                          </td>
119 
                         </tr>
 122 
                         </tr>
120 
                         <tr>
 123 
                         <tr>
121 
                          <td height="5">&nbsp;</td>
 124 
                          <td height="5">&nbsp;</td>
122 
                         </tr>
 125 
                         </tr>
123 
                          <tr>
 126 
                          <tr>
124 
                          <td align="center" bgcolor="#CCCCCC" colspan="3" height="45">
 127 
                          <td align="center" bgcolor="#CCCCCC" colspan="3" height="45">
125 
                           <p>Search for <input type="text" name="keywords" size="75"></p>
 128 
                           <p>Search for <input type="text" name="keywords" size="75"></p>
126 
                          </td>
 129 
                          </td>
127 
                         </tr>
 130 
                         </tr>
128 
                         <tr>
 131 
                         <tr>
129 
                          <td height="5">&nbsp;</td>
 132 
                          <td height="5">&nbsp;</td>
130 
                         </tr>
 133 
                         </tr>
131 
                         <tr align="center">
 134 
                         <tr align="center">
132 
                          <td>
 135 
                          <td>
133 
                           <input type="hidden" name="action" value="basic-search"><input type="reset" name="reset" value="Reset">&nbsp;&nbsp;
 136 
                           <input type="hidden" name="action" value="basic-search"><input type="reset" name="reset" value="Reset">&nbsp;&nbsp;
134 
                           <input type="submit" style="font-weight: bold;" name="submit" value="Search"></td>
 137 
                           <input type="submit" style="font-weight: bold;" name="submit" value="Search"></td>
135 
                         </tr>
 138 
                         </tr>
136 
                        </table>
 139 
                        </table>
137 
 
 140 
 
Line 218... Line 221...
218 
              d=new Date(document.lastModified)
 221 
              d=new Date(document.lastModified)
219 
              month=new Array("Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec")
 222 
              month=new Array("Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec")
220 
              if (Date.parse(document.lastModified) != 0)
 223 
              if (Date.parse(document.lastModified) != 0)
221 
                document.write(d.getDate()+" "+month[d.getMonth()]+" "+d.getFullYear());
 224 
                document.write(d.getDate()+" "+month[d.getMonth()]+" "+d.getFullYear());
222 
              </script>-->
 225 
              </script>-->
223 
              25 Nov 2022
 226 
              27 Nov 2022
224 
            </font>
 227 
            </font>
225 
          </td>
 228 
          </td>
226 
          <td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td>
 229 
          <td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td>
227 
          <td align="center" width="409">
 230 
          <td align="center" width="409">
228 
            <font size=-1>
 231 
            <font size=-1>