From b168fd753d54b23c1da6871d231017e75d05cd8c Mon Sep 17 00:00:00 2001
From: Mischa POSLAWSKY <perl@shiar.org>
Date: Mon, 30 Dec 2019 12:25:06 +0100
Subject: [PATCH] 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.
---
 page.inc.php | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/page.inc.php b/page.inc.php
index 120fb95..c21b4e7 100644
--- 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";
-- 
2.30.0