4 <title>~$title html~~$cms_title html~</title>
5 <meta name="viewport" content="width=device-width, user-scalable=no" />
6 <link rel="stylesheet" href="css.css?m=~css.css mtime~" />
7 <!--~$meta_description nonempty {~--><meta name="description" content="~$meta_description attr~" /><!--~}~-->
8 <!--~$meta_keywords nonempty {~--><meta name="keywords" content="~$meta_keywords attr~" /><!--~}~-->
13 <body id="~$basename~_body" class="real_body_tag">
14 <div class="centerer ~$layout_centerer_class~">
16 <header id="site_header">
17 <!--~$admin_links {~-->
18 <div id="admin_links">You are logged in as an administrator. <a href="admin_pages?~$edit_page_history_id {~edit_history_id=~$edit_page_history_id~~}~~$edit_page_id {~edit_id=~$edit_page_id~~}~~$edit_page_id unset {~~$edit_page_history_id unset {~&new=1&new_filename=~$basename~~}~~}~">Edit this page</a> — <a href="admin">Control panel</a> — <a href="logout">Log out</a></div>
22 <!--~$navbar_items once_if {~-->
24 <form action="#" method="get">
25 <label for="mobile_menu_check" id="mobile_menu_button">☰ Menu</label>
26 <input type="checkbox" name="mobile_menu_check" id="mobile_menu_check">
28 <ul><!--~$navbar_items {~-->
29 <li><a href="~filename~">~title html~</a></li><!--~}~-->
37 <!--~$messages once_if {~-->
38 <div id="wfpl_messages">
40 <p>~message htmlbrtab~</p>
55 <!--~$cms_sidebar {~-->
56 <aside class="sidebar ~$layout_sidebar_class~">
60 <div style="clear: both"></div>
63 <footer id="site_footer">
67 <!--~$render_timestamps {~-->
70 var i02 = function (i) { return i > 9 ? i : '0' + i; };
71 var date_to_html = function (d, include_time) {
72 var hours = d.getHours()
73 var ret = '<span class="date_time">' +
74 i02(d.getMonth() + 1) + '/' +
75 i02(d.getDate()) + '/' +
78 ret += ' ' + ((hours + 11) % 12 + 1) + ':' +
80 (hours < 12 ? 'am' : 'pm')
85 window.render_timestamps = function() {
86 var els = document.getElementsByClassName('unix_time');
89 d = new Date(1000 * parseInt(els[i].innerHTML));
90 els[i].innerHTML = date_to_html(d, true);
92 els = document.getElementsByClassName('unix_date');
94 d = new Date(1000 * parseInt(els[i].innerHTML));
95 els[i].innerHTML = date_to_html(d, false);