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