A number of changes to the CSS, page layout (moved to HTML5), and updated the editor.

sidebar.inc.php

@@ -1,6 +1,10 @@
-<div id="sidebar">
+<?
+if (!isset($is_admin))
+  $is_admin=FALSE
+?>
+<aside id="sidebar">
 
-<div id="sidelogo">
+<div class="logo">
 <?
 // Match files that use the main x.x.x logo
 if (preg_match("#^(/$|/index)#", $_SERVER['REQUEST_URI'])) {
@@ -11,18 +15,21 @@ if (preg_match("#^(/$|/index)#", $_SERVER['REQUEST_URI'])) {
 ?>
 </div>
 
-<div id="sidelinks">
-&bull;<a href="/" class= "sidelink">Front page</a><br />
-&bull;<a href="/about" class="sidelink">About <span class="xxx">x&middot;x&middot;x</span></a><br />
-&bull;<a href="/article?start=5" class="sidelink">Archive</a><br />
-&bull;<a href="/publish" class="sidelink">Add</a>/<a href="/publish/edit" class="sidelink">Edit</a><br />
+<nav class="links">
+<h3 class="menu-toggle">Menu</h3>
+<ul>
+<li><a href="/">Front page</a></li>
+<li><a href="/about">About <span class="xxx">x&middot;x&middot;x</span></a></li>
+<li><a href="/article?start=5">Archive</a></li>
+<li><a href="/publish">Add</a>/<a href="/publish/edit" class="sidelink">Edit</a></li>
 <? if ($is_admin) {
-  echo '&bull;<a href="/publish/addeditor" class="sidelink">Add editor</a><br />';
-  echo '&bull;<a href="/publish/logout" class="sidelink">Logout</a><br />';
+  echo '<li><a href="/publish/addeditor">Add editor</a></li>';
+  echo '<li><a href="/publish/logout">Logout</a></li>';
 }
-//echo '&middot;<a href="/policy" class="sidelink">Publishing policy</a><br />';
+//echo '<li><a href="/policy">Publishing policy</a></li>';
 ?>
-</div>
+</ul>
+</nav>
 
 <form action="/article" method="get">
 <div id="sideinput">
@@ -31,5 +38,5 @@ if (preg_match("#^(/$|/index)#", $_SERVER['REQUEST_URI'])) {
 </div>
 </form>
 
-</div>
+</aside>