From 902c048b17cf374dc4492f6fe40278b6a87a7970 Mon Sep 17 00:00:00 2001 From: javacasm Date: Wed, 8 Dec 2021 19:03:05 +0100 Subject: [PATCH] update --- term.js | 2 +- webrepl.html | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/term.js b/term.js index dc535cc..e19b0a2 100644 --- a/term.js +++ b/term.js @@ -714,7 +714,7 @@ Terminal.insertStyle = function(document, bg, fg) { + ' float: left;\n' + ' border: ' + bg + ' solid 5px;\n' + ' font-family: "DejaVu Sans Mono", "Liberation Mono", monospace;\n' - + ' font-size: 11px;\n' + + ' font-size: 14px;\n' + ' color: ' + fg + ';\n' + ' background: ' + bg + ';\n' + '}\n' diff --git a/webrepl.html b/webrepl.html index 297d97e..ee773d5 100644 --- a/webrepl.html +++ b/webrepl.html @@ -22,7 +22,7 @@ float: left; border: #000 solid 5px; font-family: "DejaVu Sans Mono", "Liberation Mono", monospace; - font-size: 11px; + font-size: 14px; color: #f0f0f0; background: #000; } @@ -46,7 +46,7 @@
- +