From 1f5d1ff14454fbed19b702f73155645357add3ca Mon Sep 17 00:00:00 2001
From: Ted Unangst <tedu@tedunangst.com>
Date: Mon, 10 Jun 2019 16:50:00 -0400
Subject: [PATCH] tweak fonts, provide some emoji hints

---
 views/style.css | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/views/style.css b/views/style.css
index 1baae06..8c1a238 100644
--- a/views/style.css
+++ b/views/style.css
@@ -3,6 +3,7 @@ body {
 	color: #dde;
 	font-size: 1em;
 	word-wrap: break-word;
+	font-family: sans-serif, "Noto Color Emoji";
 }
 pre, code {
 	white-space: pre-wrap;
@@ -20,15 +21,14 @@ table {
 a {
 	color: #dde;
 }
-form {
-	font-family: monospace;
+form, input, textarea {
+	font-family: monospace, "Noto Color Emoji";
 }
 p {
 	margin-top 1em;
 	margin-bottom: 1em;
 }
 input {
-	font-family: monospace;
 	background: #305;
 	color: #dde;
 	font-size: 1.0em;