From f03b6a93e6d7967cfc59ee23b734b3b11c9deda5 Mon Sep 17 00:00:00 2001 From: Hauke D Date: Wed, 10 Oct 2018 17:51:53 +0200 Subject: [PATCH] Simplified fonts --- web/democode/perleditor.css | 7 ++----- web/democode/perleditor.html | 7 ++++--- 2 files changed, 6 insertions(+), 8 deletions(-) diff --git a/web/democode/perleditor.css b/web/democode/perleditor.css index b2d553d..8b0858a 100644 --- a/web/democode/perleditor.css +++ b/web/democode/perleditor.css @@ -2,11 +2,9 @@ body { margin: 0.4em; } -.text,.fakelink { +.text { font-family: Calibri, Ubuntu, "Droid Sans", Tahoma, Arial, Helvetica, sans-serif; -} -.small { - font-size: 0.8em; + font-size: 0.9em; } pre,textarea,code,.code,.filename,.CodeMirror { font-family: Consolas, "Ubuntu Mono", "Droid Sans Mono", "Lucida Console", "Courier New", Courier, monospace; @@ -46,7 +44,6 @@ pre { .fakelink { color: darkblue; cursor: pointer; - font-size: 0.9em; } .badfilename { background-color: rgba(255,200,200,255); diff --git a/web/democode/perleditor.html b/web/democode/perleditor.html index c9adbb8..a4d4a79 100644 --- a/web/democode/perleditor.html +++ b/web/democode/perleditor.html @@ -189,9 +189,10 @@ function makeCodeWithFn (fn,targ,ro,isscript) { /* we need to trigger this handler once when the input * field is added to the document, we do this below */ - var filefuncs = $('
',{class:"filefuncs"}).appendTo(fnfuncs); + var filefuncs = $('
',{class:"filefuncs text"}) + .appendTo(fnfuncs); - var conf = $('', {class:"text small"}) + var conf = $('', {}) .append( " ", "Are you sure?", @@ -409,7 +410,7 @@ $(function () {
-
+
Tools