templates/layout.tmpl
changeset 129 67a30d680f60
parent 119 df859bfdd3be
child 131 67f5d2fdca1d
equal deleted inserted replaced
128:2a8a190f8aee 129:67a30d680f60
    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>