4 <title>~$title html~~$cms_title html~</title>
5 <meta name="viewport" content="width=device-width, user-scalable=no" />
7 ~$running_locally {~<script src="/javascript/html5.js"></script>~}~
8 ~$running_locally unset {~<script src="http://html5shim.googlecode.com/svn/trunk/html5.js"></script>~}~
10 <link rel="stylesheet" href="css.css?m=~css.css mtime~" />
11 <!--~$meta_description nonempty {~--><meta name="description" content="~$meta_description attr~" /><!--~}~-->
12 <!--~$meta_keywords nonempty {~--><meta name="keywords" content="~$meta_keywords attr~" /><!--~}~-->
16 <body id="~$basename~_body" class="real_body_tag">
17 <div class="centerer ~$layout_centerer_class~">
21 <!--~$navbar_items once_if {~-->
23 <form action="#" method="get">
24 <label for="mobile_menu_check" id="mobile_menu_button">☰ Menu</label>
25 <input type="checkbox" name="mobile_menu_check" id="mobile_menu_check">
27 <ul><!--~$navbar_items {~-->
28 <li><a href="~filename~">~title html~</a></li><!--~}~-->
36 <!--~$admin_links {~-->
37 <div id="admin_links">You are logged in as an administrator. <a href="admin_pages?~$edit_page_id {~edit_id=~$edit_page_id~~}~~$edit_page_id unset {~&new=1&new_filename=~$basename~~}~">Edit this page</a> — <a href="admin">Control panel</a> — <a href="logout">Log out</a></div>
39 <!--~$messages once_if {~-->
40 <div id="wfpl_messages">
42 <p>~message htmlbrtab~</p>
57 <!--~$cms_sidebar {~-->
58 <aside class="sidebar ~$layout_sidebar_class~">
62 <div style="clear: both"></div>
69 <!--~$render_timestamps {~-->
72 var i02 = function (i) { return i > 9 ? i : '0' + i; };
73 var date_to_html = function (d, include_time) {
74 var hours = d.getHours()
75 var ret = '<span class="date_time">' +
76 i02(d.getMonth() + 1) + '/' +
77 i02(d.getDate()) + '/' +
80 ret += ' ' + ((hours + 11) % 12 + 1) + ':' +
82 (hours < 12 ? 'am' : 'pm')
87 window.render_timestamps = function() {
88 var els = document.getElementsByClassName('unix_time');
91 d = new Date(1000 * parseInt(els[i].innerHTML));
92 els[i].innerHTML = date_to_html(d, true);
94 els = document.getElementsByClassName('unix_date');
96 d = new Date(1000 * parseInt(els[i].innerHTML));
97 els[i].innerHTML = date_to_html(d, false);