From: Mischa POSLAWSKY <perl@shiar.org>
Date: Mon, 30 Dec 2019 11:25:06 +0000 (+0100)
Subject: head: icons to abbreviate user and edit
X-Git-Tag: v4.5~14
X-Git-Url: http://git.shiar.nl/minimedit.git/commitdiff_plain/v4.4-16-gb168fd753d?hp=a5cbc9ddb6ad65b17f83d2931e3318d94e498a0e

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 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";