equal
deleted
inserted
replaced
23 |
23 |
24 <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en"> |
24 <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en"> |
25 <head> |
25 <head> |
26 <title>irclogs.qmsk.net${(' :: ' + channel.title) if channel else ''}</title> |
26 <title>irclogs.qmsk.net${(' :: ' + channel.title) if channel else ''}</title> |
27 <link rel="Stylesheet" type="text/css" href="${req.site_root}/static/irclogs.css" /> |
27 <link rel="Stylesheet" type="text/css" href="${req.site_root}/static/irclogs.css" /> |
|
28 ## timezone-autodetect |
|
29 % if prefs and prefs.is_default('timezone') : |
|
30 <script language="Javascript" type="text/javascript"> |
|
31 /* |
|
32 * Set a preference cookie |
|
33 */ |
|
34 function set_pref (name, value) { |
|
35 // XXX: expire? |
|
36 document.cookie = (name + "=" + value + "; path=/"); |
|
37 } |
|
38 |
|
39 /* |
|
40 * Set the timezone_offset cookie to the current Date's timezone offset |
|
41 */ |
|
42 function autodetect_tz_offset () { |
|
43 // current datetime |
|
44 var now = new Date(); |
|
45 |
|
46 // timezone offset from UTC in minutes |
|
47 var timezone_offset = -now.getTimezoneOffset() |
|
48 |
|
49 // store cookie with offset in minutes |
|
50 set_pref('timezone_offset', timezone_offset); |
|
51 } |
|
52 |
|
53 /* |
|
54 * Autodetect at load |
|
55 */ |
|
56 window.onload = autodetect_tz_offset; |
|
57 </script> |
|
58 % endif |
28 </head> |
59 </head> |
29 <body> |
60 <body> |
30 <div id="menu"> |
61 <div id="menu"> |
31 ${next.menu()} |
62 ${next.menu()} |
32 </div> |
63 </div> |