| OLD | NEW |
| 1 <!DOCTYPE HTML> | 1 <!DOCTYPE HTML> |
| 2 <html i18n-values="dir:textdirection;"> | 2 <html i18n-values="dir:textdirection;"> |
| 3 <head> | 3 <head> |
| 4 <meta charset="utf-8"> | 4 <meta charset="utf-8"> |
| 5 <title i18n-content="title"></title> | 5 <title i18n-content="title"></title> |
| 6 <link rel="icon" href="../../app/theme/history_favicon.png"> | 6 <link rel="icon" href="../../app/theme/history_favicon.png"> |
| 7 <script src="local_strings.js"></script> | 7 <script src="shared/js/local_strings.js"></script> |
| 8 <script> | 8 <script> |
| 9 /////////////////////////////////////////////////////////////////////////////// | 9 /////////////////////////////////////////////////////////////////////////////// |
| 10 // Globals: | 10 // Globals: |
| 11 var RESULTS_PER_PAGE = 150; | 11 var RESULTS_PER_PAGE = 150; |
| 12 var MAX_SEARCH_DEPTH_MONTHS = 18; | 12 var MAX_SEARCH_DEPTH_MONTHS = 18; |
| 13 | 13 |
| 14 // Amount of time between pageviews that we consider a 'break' in browsing, | 14 // Amount of time between pageviews that we consider a 'break' in browsing, |
| 15 // measured in milliseconds. | 15 // measured in milliseconds. |
| 16 var BROWSING_GAP_TIME = 15 * 60 * 1000; | 16 var BROWSING_GAP_TIME = 15 * 60 * 1000; |
| 17 | 17 |
| (...skipping 1200 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1218 </table> | 1218 </table> |
| 1219 </div> | 1219 </div> |
| 1220 <div id="editing-controls"></div> | 1220 <div id="editing-controls"></div> |
| 1221 <div id="results-display"></div> | 1221 <div id="results-display"></div> |
| 1222 <div id="results-pagination"></div> | 1222 <div id="results-pagination"></div> |
| 1223 </div> | 1223 </div> |
| 1224 <div class="footer"> | 1224 <div class="footer"> |
| 1225 </div> | 1225 </div> |
| 1226 </body> | 1226 </body> |
| 1227 </html> | 1227 </html> |
| OLD | NEW |