dirk
/
honk
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

tweak fonts, provide some emoji hints

This commit is contained in:
Ted Unangst 2019-06-10 16:50:00 -04:00
parent 4b86ec5962
commit 1f5d1ff144
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
views/style.css
View File

@ -3,6 +3,7 @@ body {
color: #dde; color: #dde;
font-size: 1em; font-size: 1em;
word-wrap: break-word; word-wrap: break-word;
font-family: sans-serif, "Noto Color Emoji";
} }
pre, code { pre, code {
white-space: pre-wrap; white-space: pre-wrap;
@ -20,15 +21,14 @@ table {
a { a {
color: #dde; color: #dde;
} }
form { form, input, textarea {
font-family: monospace; font-family: monospace, "Noto Color Emoji";
} }
p { p {
margin-top 1em; margin-top 1em;
margin-bottom: 1em; margin-bottom: 1em;
} }
input { input {
font-family: monospace;
background: #305; background: #305;
color: #dde; color: #dde;
font-size: 1.0em; font-size: 1.0em;