| OLD | NEW |
| 1 <!DOCTYPE HTML> | 1 <!DOCTYPE HTML> |
| 2 <html id="t" jsvalues="dir:textdirection;"> | 2 <html id="t" jsvalues="dir:textdirection;"> |
| 3 <head> | 3 <head> |
| 4 <meta charset="utf-8"> | 4 <meta charset="utf-8"> |
| 5 <title jscontent="title"></title> | 5 <title jscontent="title"></title> |
| 6 <script type="text/javascript"> | 6 <script type="text/javascript"> |
| 7 /////////////////////////////////////////////////////////////////////////////// | 7 /////////////////////////////////////////////////////////////////////////////// |
| 8 // Globals: | 8 // Globals: |
| 9 var RESULTS_PER_PAGE = 150; | 9 var RESULTS_PER_PAGE = 150; |
| 10 var MAX_SEARCH_DEPTH_MONTHS = 18; | 10 var MAX_SEARCH_DEPTH_MONTHS = 18; |
| (...skipping 789 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 800 * We're called when something is deleted (either by us or by someone | 800 * We're called when something is deleted (either by us or by someone |
| 801 * else). | 801 * else). |
| 802 */ | 802 */ |
| 803 function historyDeleted() { | 803 function historyDeleted() { |
| 804 window.console.log("History deleted"); | 804 window.console.log("History deleted"); |
| 805 historyView.reload(); | 805 historyView.reload(); |
| 806 } | 806 } |
| 807 </script> | 807 </script> |
| 808 <style type="text/css"> | 808 <style type="text/css"> |
| 809 body { | 809 body { |
| 810 font-family:arial; | |
| 811 background-color:white; | 810 background-color:white; |
| 812 color:black; | 811 color:black; |
| 813 font-size:84%; | |
| 814 margin:10px; | 812 margin:10px; |
| 815 } | 813 } |
| 816 .header { | 814 .header { |
| 817 overflow:auto; | 815 overflow:auto; |
| 818 clear:both; | 816 clear:both; |
| 819 } | 817 } |
| 820 .header .logo { | 818 .header .logo { |
| 821 float:left; | 819 float:left; |
| 822 } | 820 } |
| 823 .header .form { | 821 .header .form { |
| (...skipping 90 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 914 .page-navigation { | 912 .page-navigation { |
| 915 padding:8px; | 913 padding:8px; |
| 916 background-color:#ebeff9; | 914 background-color:#ebeff9; |
| 917 margin-right:4px; | 915 margin-right:4px; |
| 918 } | 916 } |
| 919 .footer { | 917 .footer { |
| 920 height:24px; | 918 height:24px; |
| 921 } | 919 } |
| 922 </style> | 920 </style> |
| 923 </head> | 921 </head> |
| 924 <body onload="load();"> | 922 <body onload="load();" jsvalues=".style.fontFamily:fontfamily;.style.fontSize:fo
ntsize"> |
| 925 <div class="header"> | 923 <div class="header"> |
| 926 <a href="" onclick="setSearch(''); return false;"> | 924 <a href="" onclick="setSearch(''); return false;"> |
| 927 <img src="../../app/theme/history_section.png" | 925 <img src="../../app/theme/history_section.png" |
| 928 width="67" height="67" class="logo" border="0" /></a> | 926 width="67" height="67" class="logo" border="0" /></a> |
| 929 <form method="post" action="" | 927 <form method="post" action="" |
| 930 onsubmit="setSearch(this.term.value); return false;" | 928 onsubmit="setSearch(this.term.value); return false;" |
| 931 class="form"> | 929 class="form"> |
| 932 <input type="text" name="term" id="term" /> | 930 <input type="text" name="term" id="term" /> |
| 933 <input type="submit" name="submit" jsvalues="value:searchbutton" /> | 931 <input type="submit" name="submit" jsvalues="value:searchbutton" /> |
| 934 </form> | 932 </form> |
| (...skipping 12 matching lines...) Expand all Loading... |
| 947 <span id="older" jscontent="older">Older ›</span> | 945 <span id="older" jscontent="older">Older ›</span> |
| 948 <span id="searchresultsfor" jscontent="searchresultsfor">Search results for '%
s'</span> | 946 <span id="searchresultsfor" jscontent="searchresultsfor">Search results for '%
s'</span> |
| 949 <span id="history" jscontent="history">History</span> | 947 <span id="history" jscontent="history">History</span> |
| 950 <span id="cont" jscontent="cont">(cont.)</span> | 948 <span id="cont" jscontent="cont">(cont.)</span> |
| 951 <span id="noresults" jscontent="noresults">No results</span> | 949 <span id="noresults" jscontent="noresults">No results</span> |
| 952 <span id="noitems" jscontent="noitems">No items</span> | 950 <span id="noitems" jscontent="noitems">No items</span> |
| 953 <span id="deleteday" jscontent="deleteday">Delete history for this day</span> | 951 <span id="deleteday" jscontent="deleteday">Delete history for this day</span> |
| 954 <span id="deletedaywarning" jscontent="deletedaywarning">Are you sure you want
to delete this day?</span> | 952 <span id="deletedaywarning" jscontent="deletedaywarning">Are you sure you want
to delete this day?</span> |
| 955 </div> | 953 </div> |
| 956 </body> | 954 </body> |
| 957 </html> | 955 </html> |
| OLD | NEW |