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.net/minimedit.git/commitdiff_plain/b168fd753d54b23c1da6871d231017e75d05cd8c

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