head: icons to abbreviate user and edit

Elect literal representation instead of CSS hacks to replace texts,
with Unicode emoji characters BUST IN SILHOUETTE and WRITING HAND
hopefully good enough for screen readers.

Assume preferred site style is obtained by an installed font.

diff --git a/page.inc.php b/page.inc.php
index 120fb957c2ea35b8f7ab07f56344370128823815..c21b4e7b9f45dfcef645e9839dc375b417864370 100644 (file)
--- a/page.inc.php
+++ b/page.inc.php
@@ -9,7 +9,10 @@ include 'menu.inc.html';
 ob_start();
 if ($User and property_exists($User, 'login') and $User->login) {
        print '<div class="login"><p>';
-       printf('<span>Ingelogd: <b><a href="%s">%s</a></b></span>', '/login', $User->login);
+       printf('<span title="ingelogd">%s <a href="%s">%s</a></span>',
+               '<span class="icon icon-user">&#x1F464;</span>',
+               '/login', $User->login
+       );
        if ($User->admin("edit $Page$Args")) {
                $editpage = $Page.$Args;
                if (is_dir($editpage)) {
@@ -21,7 +24,7 @@ if ($User and property_exists($User, 'login') and $User->login) {
                        $editpage .= '.html';
                }
                if (!file_exists($editpage) or is_writable($editpage)) {
-                       print ' <a href="#edit">Wijzig</a>';
+                       print ' <a class="icon icon-edit" href="#edit" title="wijzig">&#x270D;</a>';
                }
        }
        print "</p></div>\n";