From bc18bef0151dc9ef9e803fb64a37efe79c3bf704 Mon Sep 17 00:00:00 2001
From: ArthurSonzogni <sonzogniarthur@gmail.com>
Date: Sun, 8 Nov 2020 13:41:04 +0100
Subject: [PATCH] Fix monospace.

---
 src/http/style.css | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/src/http/style.css b/src/http/style.css
index 4d90dbd..642d1c2 100644
--- a/src/http/style.css
+++ b/src/http/style.css
@@ -243,7 +243,6 @@ html, body {
 }
 
 /* Application area */
-
 textarea {
   font-variant-numeric: tabular-nums lining-nums;
   font-family: monospace, monospace;
@@ -254,6 +253,12 @@ textarea {
   outline: none;
 }
 
+@media handheld {
+  textarea {
+    font-family: "Consolas","Menlo","Monaco","Lucida Console","Liberation Mono","DejaVu Sans Mono","Bitstream Vera Sans Mono","Courier New",monospace;
+  }
+}
+
 #input, #output, #errors, #menu_bar, #latex, #html {
   display:block;
   color:var(--fg-color);